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]
471 if (index_limit > NKPT * PTE_PER_PAGE) { in Idle_PTs_release()472 index_limit = NKPT * PTE_PER_PAGE; in Idle_PTs_release()493 if (index_limit > NPGPTD * PTE_PER_PAGE) { in Idle_PTs_release()494 index_limit = NPGPTD * PTE_PER_PAGE; in Idle_PTs_release()1157 pt_entry_t entries[PTE_PER_PAGE]; in doublemap_init()1182 pt_entry_t entries[PTE_PER_PAGE]; in doublemap_init()1187 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