diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2024-10-30 02:18:12 +0200 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2024-10-30 02:18:12 +0200 |
| commit | e7b5881903ad81efee63966e7d2c42524d465dfc (patch) | |
| tree | 86753586a7be933685c313c172545bdaf9086dd1 /include/arch | |
| parent | 44a73ecab6e91519627786a5101cd4f1a2f2b0d7 (diff) | |
| download | kmi-e7b5881903ad81efee63966e7d2c42524d465dfc.tar.gz kmi-e7b5881903ad81efee63966e7d2c42524d465dfc.zip | |
tests pass
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. |