Searched defs:arch_start_kernel (Results 1 - 5 of 5) sorted by relevance

/haiku/src/system/boot/platform/efi/arch/arm64/
H A Darch_start.cpp40 arch_start_kernel(addr_t kernelEntry) function
/haiku/src/system/boot/platform/efi/arch/riscv64/
H A Darch_start.cpp46 arch_start_kernel(addr_t kernelEntry) function
/haiku/src/system/boot/platform/efi/arch/x86_64/
H A Darch_start.cpp87 arch_start_kernel(addr_t kernelEntry) function
/haiku/src/system/boot/platform/efi/arch/arm/
H A Darch_start.cpp84 arch_start_kernel(addr_t kernelEntry) function
/haiku/src/system/boot/platform/efi/arch/x86/
H A Darch_start.cpp55 arch_start_kernel(addr_t kernelEntry) function

Completed in 43 milliseconds