Lines Matching refs:IdlePTD
127 pd_entry_t *IdlePTD;
281 IdlePTD = ALLOCPAGES(NPGPTD); /* level 2 */
289 /* IdlePTD */
290 fillkpt(IdlePTD,
295 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(IdlePTD), 0, NPGPTD);
323 IdlePTD = ALLOCPAGES(NPGPTD); /* level 2 */
328 fillkpt(IdlePTD, INTEL_PTE_WRITE, (uintptr_t)IdlePTD, PTDPTDI, NPGPTD);
330 fillkpt(IdlePTD, INTEL_PTE_WRITE|INTEL_PTE_USER, (uintptr_t)ALLOCPAGES(1), _COMM_PAGE32_BASE_ADDRESS >> PDESHIFT,1);
338 // must be done after the KPTphys fill since IdlePTD is in use
339 fillkpt(IdlePTD,
343 fillkpt(IdlePDPT, 0, (uintptr_t)IdlePTD, 0, NPGPTD);