Searched refs:enter_kernel (Results 1 - 2 of 2) sorted by relevance
| /haiku/src/system/boot/platform/efi/arch/x86/ |
| H A D | arch_start.cpp | 61 enter_kernel_t enter_kernel = (enter_kernel_t)0xa000; local
62 memcpy((void *)enter_kernel, (void *)arch_enter_kernel, B_PAGE_SIZE);
167 dprintf("enter_kernel(pageDirectory: 0x%08x, kernelArgs: 0x%08x, "
173 enter_kernel(pageDirectory, virtKernelArgs, kernelEntry,
|
| /haiku/src/system/boot/platform/efi/arch/arm/ |
| H A D | arch_start.cpp | 102 arch_enter_kernel_t enter_kernel = (arch_enter_kernel_t)trampolinePage; local
212 dprintf("enter_kernel(ttbr0: 0x%08x, kernelArgs: 0x%08x, "
217 enter_kernel(final_ttbr0, virtKernelArgs, kernelEntry,
|
Completed in 87 milliseconds