Started basic paging port from skiftOS

1 files changed, 6 insertions, 0 deletions

diff --git a/libc/inc/cpu.h b/libc/inc/cpu.h
index fa82fbe..5c55913 100644
--- a/libc/inc/cpu.h
+++ b/libc/inc/cpu.h
@@ -27,6 +27,12 @@ void cpu_print(void);
 void cpu_enable_features(void);
 void fpu_restore(void);
 
+u32 cr0_get(void);
+void cr0_set(u32 cr0);
+void cr3_set(u32 cr3);
+u32 cr4_get(void);
+void cr4_set(u32 cr4);
+
 void cli(void);
 void sti(void);
 void hlt(void);