diff options
| author | Aleksa Vuckovic <aleksa@vuckovic.cc> | 2023-02-22 17:31:52 +0100 |
|---|---|---|
| committer | Aleksa Vuckovic <aleksa@vuckovic.cc> | 2023-02-22 17:36:02 +0100 |
| commit | 57e6722453c27d35a3b02309ce21263d225a23e3 (patch) | |
| tree | 7469dce46d063ddc7a3f3a7da6dcff928730488a /kernel/include/paging.h | |
| parent | 2bb4e7fb4c0f5895148bb32da64381b985c8dcef (diff) | |
curr_cpu_apic_id() now works on old amd cpus
Diffstat (limited to 'kernel/include/paging.h')
| -rw-r--r-- | kernel/include/paging.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/kernel/include/paging.h b/kernel/include/paging.h index 71552d1..c56c8e8 100644 --- a/kernel/include/paging.h +++ b/kernel/include/paging.h @@ -9,8 +9,13 @@ #define FLAG_USER 0x4 #define FLAG_HUGE 0x80 +void load_pt_lvl4(uint64_t*); void init_paging(void); void map_addr(uint64_t virt, uint64_t phys, uint32_t flags); void page_fault(uint64_t error); +extern uint64_t __attribute__((aligned(4096))) page_table_lvl4[512]; +extern uint64_t __attribute__((aligned(4096))) page_table_lvl3[512]; +extern uint64_t __attribute__((aligned(4096))) page_table_lvl2[512]; + #endif |