Symbol: arch_start_kernel
src/system/boot/platform/efi/arch/arm/arch_start.cpp
89
arch_start_kernel(addr_t kernelEntry)
src/system/boot/platform/efi/arch/arm64/arch_start.cpp
79
arch_start_kernel(addr_t kernelEntry)
src/system/boot/platform/efi/arch/riscv64/arch_start.cpp
46
arch_start_kernel(addr_t kernelEntry)
src/system/boot/platform/efi/arch/x86/arch_start.cpp
55
arch_start_kernel(addr_t kernelEntry)
src/system/boot/platform/efi/arch/x86_64/arch_start.cpp
47
arch_start_kernel(addr_t kernelEntry)