| swissChili | 825d46b | 2021-02-21 10:14:16 -0800 | [diff] [blame] | 1 | #pragma once |
| 2 | |||||
| 3 | #include "kint.h" | ||||
| 4 | #include "registers.h" | ||||
| 5 | |||||
| 6 | /* defined in switch_table.s */ | ||||
| 7 | extern uint load_page_directory(uint table_address); | ||||
| 8 | extern void enable_paging(); | ||||
| 9 | |||||
| 10 | void *_kmalloc(size_t size, bool align, void **phys); | ||||
| 11 | void *kmalloc(size_t size); | ||||
| 12 | void *kmalloc_a(size_t size); | ||||
| 13 | void *kmalloc_ap(size_t size, void **p); | ||||
| 14 | |||||
| 15 | void initialize_paging(); | ||||
| 16 | |||||
| 17 | void page_fault(struct registers *regs); | ||||