Searched refs:NPGPTD (Results 1 – 3 of 3) sorted by relevance
62 #if NPGPTD != 463 #error Please update boot_pt.c to reflect the new value of NPGPTD
394 IdlePTD = ALLOCPAGES(NPGPTD); /* level 2 */ in Idle_PTs_init()408 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(IdlePTD), 0, NPGPTD); in Idle_PTs_init()492 if (index_limit > NPGPTD * PTE_PER_PAGE) { in Idle_PTs_release()493 index_limit = NPGPTD * PTE_PER_PAGE; in Idle_PTs_release()
105 #define NPGPTD 4ULL macro123 #define NBPTD (NPGPTD << PAGE_SHIFT)