M-mode code doesn't need access to pk's page table

1 files changed, 2 insertions, 0 deletions

diff --git a/pk/mmap.c b/pk/mmap.c
index a19b9a6..97df4e4 100644
--- a/pk/mmap.c
+++ b/pk/mmap.c
@@ -24,6 +24,8 @@ typedef struct vmr_t {
 
 static vmr_t* vmr_freelist_head;
 
+static pte_t* root_page_table;
+
 #define RISCV_PGLEVELS ((VA_BITS - RISCV_PGSHIFT) / RISCV_PGLEVEL_BITS)
 
 static spinlock_t vm_lock = SPINLOCK_INIT;