Searched refs:enter_kernel (Results 1 – 2 of 2) sorted by relevance
61 enter_kernel_t enter_kernel = (enter_kernel_t)0xa000; in arch_start_kernel() local62 memcpy((void *)enter_kernel, (void *)arch_enter_kernel, B_PAGE_SIZE); in arch_start_kernel()173 enter_kernel(pageDirectory, virtKernelArgs, kernelEntry, in arch_start_kernel()
102 arch_enter_kernel_t enter_kernel = (arch_enter_kernel_t)trampolinePage; in arch_start_kernel() local217 enter_kernel(final_ttbr0, virtKernelArgs, kernelEntry, in arch_start_kernel()