Searched refs:PTE_PER_PAGE (Results 1 – 4 of 4) sorted by relevance
47 pml4_entry_t BootPML4[PTE_PER_PAGE]54 pdpt_entry_t BootPDPT[PTE_PER_PAGE]
470 if (index_limit > NKPT * PTE_PER_PAGE) { in Idle_PTs_release()471 index_limit = NKPT * PTE_PER_PAGE; in Idle_PTs_release()492 if (index_limit > NPGPTD * PTE_PER_PAGE) { in Idle_PTs_release()493 index_limit = NPGPTD * PTE_PER_PAGE; in Idle_PTs_release()1156 pt_entry_t entries[PTE_PER_PAGE]; in doublemap_init()1181 pt_entry_t entries[PTE_PER_PAGE]; in doublemap_init()1186 for (int j = 0; j < MIN(PTE_PER_PAGE, hdescn); j++) { in doublemap_init()
67 static pml4_entry_t IDPML4[PTE_PER_PAGE] __attribute__ ((aligned(4096)));
129 #define PTE_PER_PAGE 512 /* number of PTE's per page on any level */ macro