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

/xnu-2782.1.97/osfmk/i386/
H A Di386_init.c124 pdpt_entry_t *IdlePDPT; variable
273 IdlePDPT = ALLOCPAGES(1); /* level 3 */
284 // IdlePDPT entries
285 fillkpt(IdlePDPT,
290 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(IdlePDPT), 0, 1);
H A Dpmap.h338 extern pdpt_entry_t *IdlePDPT;
/xnu-2782.1.97/osfmk/x86_64/
H A Dpmap.c374 kernel_pmap->pm_pdpt = (pd_entry_t *) ((uintptr_t)IdlePDPT);

Completed in 89 milliseconds