Searched refs:final_pml4 (Results 1 – 1 of 1) sorted by relevance
133 uint64_t final_pml4 = arch_mmu_generate_post_efi_page_tables( in arch_start_kernel() local173 smp_boot_other_cpus(final_pml4, kernelEntry, (addr_t)&gKernelArgs); in arch_start_kernel()178 final_pml4, &gKernelArgs, kernelEntry, in arch_start_kernel()181 arch_enter_kernel(final_pml4, kernelEntry, in arch_start_kernel()