kernel/amd64: pmap: Add pmap_destroy_vas()

Signed-off-by: Ian Moffett <ian@osmora.org>

1 files changed, 5 insertions, 0 deletions

diff --git a/sys/include/vm/pmap.h b/sys/include/vm/pmap.h
index dccfe0d..4cd334c 100644
--- a/sys/include/vm/pmap.h
+++ b/sys/include/vm/pmap.h
@@ -57,6 +57,11 @@ void pmap_switch_vas(struct vas vas);
 int pmap_new_vas(struct vas *res);
 
 /*
+ * Deallocate a virtual address space.
+ */
+void pmap_destroy_vas(struct vas vas);
+
+/*
  * Create a virtual memory mapping of a single page.
  */
 int pmap_map(struct vas vas, vaddr_t va, paddr_t pa, vm_prot_t prot);