Searched refs:phys_kernel_pml4 (Results 1 - 2 of 2) sorted by relevance

/fuchsia/zircon/kernel/arch/x86/
H A Dbootstrap16.cpp138 uint64_t phys_kernel_pml4 = VmAspace::kernel_aspace()->arch_aspace().pt_phys(); variable
145 ASSERT(phys_kernel_pml4 <= UINT32_MAX);
148 bootstrap_data->phys_kernel_pml4 = static_cast<uint32_t>(phys_kernel_pml4);
/fuchsia/zircon/kernel/arch/x86/include/arch/x86/
H A Dbootstrap16.h49 uint32_t phys_kernel_pml4; member in struct:x86_bootstrap16_data
116 static_assert(__offsetof(struct x86_bootstrap16_data, phys_kernel_pml4) == BCD_PHYS_KERNEL_PML4_OFFSET, "");

Completed in 27 milliseconds