1 files changed, 11 insertions, 0 deletions
diff --git a/kernel/cpu/arch_inst.h b/kernel/cpu/arch_inst.h
new file mode 100644
index 0000000..54faffb
--- /dev/null
+++ b/kernel/cpu/arch_inst.h
@@ -0,0 +1,11 @@
+#include <stdint.h>
+uintptr_t get_current_sp(void);
+uintptr_t get_current_sbp(void);
+__attribute__((__noreturn__)) void halt(void);
+uintptr_t get_cr2(void);
+void flush_tlb(void);
+void set_sp(uintptr_t);
+void set_sbp(uintptr_t);
+void set_cr3(uintptr_t);
+uintptr_t get_cr3(void);
+void enable_paging(void);