diff options
| author | Marvin Borner | 2021-06-02 22:27:59 +0200 |
|---|---|---|
| committer | Marvin Borner | 2021-06-02 22:27:59 +0200 |
| commit | 98e15f73f090c32b5197ecec0845c408d4a54608 (patch) | |
| tree | 31490731c74b45e2450de56c0c4ea4abd3f3b54d /kernel/inc/mm.h | |
| parent | 91ba8d02037cc27c7b44f1bfd492c42ccd0af042 (diff) | |
Huge scheduler rewrite and other things
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 |