From 7a23d95b6e432170d6575f515616e5936d53c85e Mon Sep 17 00:00:00 2001 From: Kimplul Date: Wed, 30 Oct 2024 02:32:02 +0200 Subject: bookkeeping --- include/arch/vmem.h | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'include/arch/vmem.h') diff --git a/include/arch/vmem.h b/include/arch/vmem.h index 0f06cc5..ad32519 100644 --- a/include/arch/vmem.h +++ b/include/arch/vmem.h @@ -167,11 +167,21 @@ struct vmem *create_vmem(); void use_vmem(struct vmem *b); /** - * Destroy virtual memory space. + * Completely destroy virtual memory space. + * Should only be called for ->proc.vmem, as it is the only one that is sure to + * own all nodes. * * @param b Virtual memory to destroy. */ void destroy_vmem(struct vmem *b); + +/** + * Destroy 'regular' virtual memory space. + * Should be called for ->rpc.vmem, as rpc can have some references that it + * doesn't own into ->proc.vmem, and this function is careful not to free those. + * + * @param b Virtual memory to destroy. + */ void destroy_rpcmem(struct vmem *b); /** -- cgit v1.3