|
@@ -116,6 +116,7 @@ READONLY_AFTER_INIT PhysicalAddress start_of_prekernel_image;
|
|
READONLY_AFTER_INIT PhysicalAddress end_of_prekernel_image;
|
|
READONLY_AFTER_INIT PhysicalAddress end_of_prekernel_image;
|
|
READONLY_AFTER_INIT size_t physical_to_virtual_offset;
|
|
READONLY_AFTER_INIT size_t physical_to_virtual_offset;
|
|
READONLY_AFTER_INIT FlatPtr kernel_mapping_base;
|
|
READONLY_AFTER_INIT FlatPtr kernel_mapping_base;
|
|
|
|
+READONLY_AFTER_INIT FlatPtr default_kernel_load_base;
|
|
READONLY_AFTER_INIT FlatPtr kernel_load_base;
|
|
READONLY_AFTER_INIT FlatPtr kernel_load_base;
|
|
#if ARCH(X86_64)
|
|
#if ARCH(X86_64)
|
|
READONLY_AFTER_INIT PhysicalAddress boot_pml4t;
|
|
READONLY_AFTER_INIT PhysicalAddress boot_pml4t;
|
|
@@ -148,6 +149,7 @@ extern "C" [[noreturn]] UNMAP_AFTER_INIT void init(BootInfo const& boot_info)
|
|
end_of_prekernel_image = PhysicalAddress { boot_info.end_of_prekernel_image };
|
|
end_of_prekernel_image = PhysicalAddress { boot_info.end_of_prekernel_image };
|
|
physical_to_virtual_offset = boot_info.physical_to_virtual_offset;
|
|
physical_to_virtual_offset = boot_info.physical_to_virtual_offset;
|
|
kernel_mapping_base = boot_info.kernel_mapping_base;
|
|
kernel_mapping_base = boot_info.kernel_mapping_base;
|
|
|
|
+ default_kernel_load_base = boot_info.default_kernel_load_base;
|
|
kernel_load_base = boot_info.kernel_load_base;
|
|
kernel_load_base = boot_info.kernel_load_base;
|
|
#if ARCH(X86_64)
|
|
#if ARCH(X86_64)
|
|
gdt64ptr = boot_info.gdt64ptr;
|
|
gdt64ptr = boot_info.gdt64ptr;
|