Searched refs:IdlePTD (Results 1 – 3 of 3) sorted by relevance
152 pd_entry_t *IdlePTD; variable395 IdlePTD = ALLOCPAGES(NPGPTD); /* level 2 */ in Idle_PTs_init()404 fillkpt(IdlePTD, in Idle_PTs_init()409 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(IdlePTD), 0, NPGPTD); in Idle_PTs_init()510 assert(IdlePTD[i] != 0); in Idle_PTs_release()511 if (IdlePTD[i] == 0) { in Idle_PTs_release()515 pn = (ppnum_t)((PG_FRAME & IdlePTD[i]) >> PTSHIFT); in Idle_PTs_release()531 IdlePTD[i] = 0; in Idle_PTs_release()
439 DBG("IdlePTD(%p): 0x%x\n", &IdlePTD, (int) (uintptr_t)IdlePTD); in intel_startCPU()
448 extern pd_entry_t *IdlePTD; /* physical addr of "Idle" state PTD */