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

/macosx-10.5.8/xnu-1228.15.4/osfmk/i386/
H A Dstartup64.c98 : "a" ((uint32_t) kernel64_cr3));
125 cdp->cpu_kernel_cr3 = kernel64_cr3;
H A Dpmap.h392 extern addr64_t kernel64_cr3;
H A Dpmap.c619 addr64_t kernel64_cr3; variable
1304 kernel64_cr3 = (addr64_t) kernel_pmap->pm_cr3;
1309 current_cpu_datap()->cpu_active_cr3 = kernel64_cr3;

Completed in 80 milliseconds