Symbol: arch_mmu_init_gdt
src/system/boot/platform/efi/arch/x86/arch_start.cpp
34
extern void arch_mmu_init_gdt(gdt_idt_descr &bootGDTDescriptor);
src/system/boot/platform/efi/arch/x86/arch_start.cpp
58
arch_mmu_init_gdt(bootGDTDescriptor);