diff options
Diffstat (limited to 'kernel/inc/mm.h')
| -rw-r--r-- | kernel/inc/mm.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/kernel/inc/mm.h b/kernel/inc/mm.h index 0a2bb81..4f3f537 100644 --- a/kernel/inc/mm.h +++ b/kernel/inc/mm.h @@ -4,7 +4,7 @@ #define PAGING_H #include <def.h> -#include <drivers/interrupts.h> +#include <drivers/int.h> #include <errno.h> struct memory_range { @@ -18,7 +18,6 @@ struct memory_range { void paging_disable(void); void paging_enable(void); -void page_fault_handler(struct regs *r) NONNULL; /** * Physical |