summaryrefslogtreecommitdiff
path: root/src/arch/riscv/include
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch/riscv/include')
-rw-r--r--src/arch/riscv/include/vm.h1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/arch/riscv/include/vm.h b/src/arch/riscv/include/vm.h
index f9ffc407da..5bf03c796e 100644
--- a/src/arch/riscv/include/vm.h
+++ b/src/arch/riscv/include/vm.h
@@ -57,7 +57,6 @@
typedef uintptr_t pte_t;
extern pte_t* root_page_table;
-void enter_supervisor(void);
void initVirtualMemory(void);
size_t pte_ppn(pte_t pte);