From 3e3ff0acccfbb1d251a9b9bacbf0851c9de69561 Mon Sep 17 00:00:00 2001
From: Ian Moffett <ian@osmora.org>
Date: Thu, 14 Mar 2024 21:02:10 -0400
Subject: kernel/amd64: pmap: Add pmap_free_vas()

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

diff --git a/sys/arch/amd64/amd64/pmap.c b/sys/arch/amd64/amd64/pmap.c
index 2760532..54d4ca3 100644
--- a/sys/arch/amd64/amd64/pmap.c
+++ b/sys/arch/amd64/amd64/pmap.c
@@ -228,6 +228,19 @@ pmap_switch_vas(struct vm_ctx *ctx, struct vas vas)
            : "memory");
 }
 
+/*
+ * TODO: During the mapping of a virtual address, a level
+ *       may be allocated. This function does not handle the
+ *       freeing of allocated levels. We should keep track
+ *       of levels allocated and free them here.
+ */
+int
+pmap_free_vas(struct vm_ctx *ctx, struct vas vas)
+{
+    vm_free_pageframe(vas.top_level, 1);
+    return 0;
+}
+
 struct vas
 pmap_read_vas(void)
 {
diff --git a/sys/include/vm/pmap.h b/sys/include/vm/pmap.h
index ebabd32..3380199 100644
--- a/sys/include/vm/pmap.h
+++ b/sys/include/vm/pmap.h
@@ -89,6 +89,12 @@ struct vas pmap_read_vas(void);
  */
 int pmap_map(struct vm_ctx *, struct vas, vaddr_t, paddr_t, vm_prot_t);
 
+/*
+ * Get rid of a virtual address space and free
+ * resources.
+ */
+int pmap_free_vas(struct vm_ctx *, struct vas);
+
 /*
  * Unmap a page.
  */
-- 
cgit v1.2.3