Searched refs:IdlePDPT (Results 1 – 2 of 2) sorted by relevance
153 pdpt_entry_t *IdlePDPT; variable396 IdlePDPT = ALLOCPAGES(1); /* level 3 */ in Idle_PTs_init()408 fillkpt(IdlePDPT, in Idle_PTs_init()413 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(IdlePDPT), 0, 1); in Idle_PTs_init()
445 extern pdpt_entry_t *IdlePDPT;