Searched refs:IdlePTD (Results 1 – 3 of 3) sorted by relevance
149 pd_entry_t *IdlePTD; variable394 IdlePTD = ALLOCPAGES(NPGPTD); /* level 2 */ in Idle_PTs_init()403 fillkpt(IdlePTD, in Idle_PTs_init()408 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(IdlePTD), 0, NPGPTD); in Idle_PTs_init()509 assert(IdlePTD[i] != 0); in Idle_PTs_release()510 if (IdlePTD[i] == 0) { in Idle_PTs_release()514 pn = (ppnum_t)((PG_FRAME & IdlePTD[i]) >> PTSHIFT); in Idle_PTs_release()530 IdlePTD[i] = 0; in Idle_PTs_release()
437 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 */