Lines Matching refs:ALLOCPAGES
138 * Note: ALLOCPAGES() can only be used safely within Idle_PTs_init()
142 ALLOCPAGES(int npages)
205 pt_entry_t *physmapL3 = ALLOCPAGES(1);
208 } * physmapL2 = ALLOCPAGES(NPHYSMAP);
280 KPTphys = ALLOCPAGES(NKPT); /* level 1 */
281 IdlePTD = ALLOCPAGES(NPGPTD); /* level 2 */
282 IdlePDPT = ALLOCPAGES(1); /* level 3 */
283 IdlePML4 = ALLOCPAGES(1); /* level 4 */
322 KPTphys = ALLOCPAGES(NKPT); /* level 1 */
323 IdlePTD = ALLOCPAGES(NPGPTD); /* level 2 */
325 IdlePDPT64 = ALLOCPAGES(1);
330 fillkpt(IdlePTD, INTEL_PTE_WRITE|INTEL_PTE_USER, (uintptr_t)ALLOCPAGES(1), _COMM_PAGE32_BASE_ADDRESS >> PDESHIFT,1);