Symbol: arch_start_kernel
headers/private/kernel/boot/platform/efi/arch_start.h
10
void arch_start_kernel(addr_t kernelEntry);
headers/private/kernel/boot/platform/openfirmware/platform_arch.h
31
status_t arch_start_kernel(struct kernel_args *kernelArgs, addr_t kernelEntry,
headers/private/kernel/boot/platform/routerboard_mipsel/platform_arch.h
32
status_t arch_start_kernel(struct kernel_args *kernelArgs, addr_t kernelEntry,
headers/private/kernel/boot/platform/u-boot/platform_arch.h
31
status_t arch_start_kernel(struct kernel_args *kernelArgs, addr_t kernelEntry,
src/system/boot/platform/efi/start.cpp
212
arch_start_kernel(kernelEntry);
src/system/boot/platform/openfirmware/start.cpp
77
status_t error = arch_start_kernel(&gKernelArgs, kernelEntry, stackTop);
src/system/boot/platform/u-boot/start.cpp
126
status_t error = arch_start_kernel(&gKernelArgs, kernelEntry,