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