diff options
Diffstat (limited to 'include/arch')
| -rw-r--r-- | include/arch/vmem.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/arch/vmem.h b/include/arch/vmem.h index 79c42b9..0f06cc5 100644 --- a/include/arch/vmem.h +++ b/include/arch/vmem.h @@ -172,6 +172,7 @@ void use_vmem(struct vmem *b); * @param b Virtual memory to destroy. */ void destroy_vmem(struct vmem *b); +void destroy_rpcmem(struct vmem *b); /** * Raw clone user virtual memory. |