From 545ec578b327c243cab1c8551c6a293ac51c5a2d Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Fri, 17 Jan 2020 21:16:44 +0100 Subject: Kernel: Tidy up the types imported from boot.S a little bit --- Kernel/VM/PageDirectory.cpp | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'Kernel/VM/PageDirectory.cpp') diff --git a/Kernel/VM/PageDirectory.cpp b/Kernel/VM/PageDirectory.cpp index 9e3f4c30a8..df80d9180a 100644 --- a/Kernel/VM/PageDirectory.cpp +++ b/Kernel/VM/PageDirectory.cpp @@ -21,17 +21,17 @@ RefPtr PageDirectory::find_by_cr3(u32 cr3) return cr3_map().get(cr3).value_or({}); } -extern "C" u32 boot_pdpt; -extern "C" u32 boot_pd0; -extern "C" u32 boot_pd3; +extern "C" PageDirectoryEntry* boot_pdpt[4]; +extern "C" PageDirectoryEntry boot_pd0[1024]; +extern "C" PageDirectoryEntry boot_pd3[1024]; PageDirectory::PageDirectory() : m_range_allocator(VirtualAddress(0xc0c00000), 0x3f000000) { // Adopt the page tables already set up by boot.S - PhysicalAddress boot_pdpt_paddr(virtual_to_low_physical((u32)&boot_pdpt)); - PhysicalAddress boot_pd0_paddr(virtual_to_low_physical((u32)&boot_pd0)); - PhysicalAddress boot_pd3_paddr(virtual_to_low_physical((u32)&boot_pd3)); + PhysicalAddress boot_pdpt_paddr(virtual_to_low_physical((u32)boot_pdpt)); + PhysicalAddress boot_pd0_paddr(virtual_to_low_physical((u32)boot_pd0)); + PhysicalAddress boot_pd3_paddr(virtual_to_low_physical((u32)boot_pd3)); kprintf("MM: boot_pdpt @ P%p\n", boot_pdpt_paddr.get()); kprintf("MM: boot_pd0 @ P%p\n", boot_pd0_paddr.get()); kprintf("MM: boot_pd3 @ P%p\n", boot_pd3_paddr.get()); -- cgit v1.2.3