From ccdd5b6d2f196cb6a2add34f71eebccbedb35c55 Mon Sep 17 00:00:00 2001
From: Ian Moffett <ian@osmora.org>
Date: Sun, 30 Jun 2024 22:10:37 -0400
Subject: kernel/amd64: pmap: Add pmap_destroy_vas()

Signed-off-by: Ian Moffett <ian@osmora.org>
---
 sys/arch/amd64/amd64/pmap.c | 6 ++++++
 sys/include/vm/pmap.h       | 5 +++++
 2 files changed, 11 insertions(+)

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
@@ -56,6 +56,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.
  */
-- 
cgit v1.2.3