Searched refs:kernel64_cr3 (Results 1 - 3 of 3) sorted by relevance

/darwin-on-arm/xnu/osfmk/i386/
H A Dstartup64.c98 : "a" ((uint32_t) kernel64_cr3));
125 cdp->cpu_kernel_cr3 = kernel64_cr3;
H A Dpmap.h436 extern addr64_t kernel64_cr3;
H A Dpmap.c274 addr64_t kernel64_cr3; variable
803 kernel64_cr3 = (addr64_t) kernel_pmap->pm_cr3;
808 current_cpu_datap()->cpu_active_cr3 = kernel64_cr3;

Completed in 19 milliseconds