2 files changed, 11 insertions, 0 deletions
diff --git a/sys/arch/amd64/amd64/pmap.c b/sys/arch/amd64/amd64/pmap.c
index 108cd91..0f41e7a 100644
--- a/sys/arch/amd64/amd64/pmap.c
+++ b/sys/arch/amd64/amd64/pmap.c
@@ -224,6 +224,12 @@ pmap_new_vas(struct vas *res)
     return 0;
 }
 
+void
+pmap_destroy_vas(struct vas vas)
+{
+    vm_free_frame(vas.top_level, 1);
+}
+
 struct vas
 pmap_read_vas(void)
 {
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);