MUCH work in libc

Also cleaned up some syscalls etc

1 files changed, 2 insertions, 0 deletions

diff --git a/src/kernel/memory/paging.h b/src/kernel/memory/paging.h
index b4881a9..1941cb9 100644
--- a/src/kernel/memory/paging.h
+++ b/src/kernel/memory/paging.h
@@ -29,6 +29,8 @@ uint32_t get_cr0();
 void set_cr3(struct page_directory *dir);
 void set_cr0(uint32_t new_cr0);
 
+void paging_disable();
+void paging_enable();
 void paging_switch_directory(struct page_directory *dir);
 
 struct page_directory *paging_make_directory();