/* * Copyright (c) 2021, Gunnar Beutner * * SPDX-License-Identifier: BSD-2-Clause */ #pragma once #include #include #include namespace Kernel::Memory { class PageTableEntry; } extern "C" PhysicalAddress start_of_prekernel_image; extern "C" PhysicalAddress end_of_prekernel_image; extern "C" size_t physical_to_virtual_offset; extern "C" FlatPtr kernel_mapping_base; extern "C" FlatPtr kernel_load_base; #if ARCH(X86_64) extern "C" u32 gdt64ptr; extern "C" u16 code64_sel; #endif extern "C" PhysicalAddress boot_pml4t; extern "C" PhysicalAddress boot_pdpt; extern "C" PhysicalAddress boot_pd0; extern "C" PhysicalAddress boot_pd_kernel; extern "C" Kernel::Memory::PageTableEntry* boot_pd_kernel_pt1023; extern "C" char const* kernel_cmdline; extern "C" u32 multiboot_flags; extern "C" multiboot_memory_map_t* multiboot_memory_map; extern "C" size_t multiboot_memory_map_count; extern "C" multiboot_module_entry_t* multiboot_modules; extern "C" size_t multiboot_modules_count; extern "C" PhysicalAddress multiboot_framebuffer_addr; extern "C" u32 multiboot_framebuffer_pitch; extern "C" u32 multiboot_framebuffer_width; extern "C" u32 multiboot_framebuffer_height; extern "C" u8 multiboot_framebuffer_bpp; extern "C" u8 multiboot_framebuffer_type;