1 files changed, 4 insertions, 0 deletions
diff --git a/src/aplos.h b/src/aplos.h
index e364eea..d9d6cdb 100644
--- a/src/aplos.h
+++ b/src/aplos.h
@@ -49,8 +49,12 @@ void disable_interrupts(void);
 void enable_interrupts(void);
 void set_gdt(struct table_reg *, uint64_t, uint64_t, uint64_t);
 void set_idt(struct table_reg *);
+uint64_t get_cr2(void);
 extern void (*isr_stubs[32])(void);
 
+/* paging.c */
+bool page_fault_handler(uint32_t);
+
 /* panic.c */
 void panic(void);