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]
468 if (index_limit > NKPT * PTE_PER_PAGE) { in Idle_PTs_release()469 index_limit = NKPT * PTE_PER_PAGE; in Idle_PTs_release()490 if (index_limit > NPGPTD * PTE_PER_PAGE) { in Idle_PTs_release()491 index_limit = NPGPTD * PTE_PER_PAGE; in Idle_PTs_release()1154 pt_entry_t entries[PTE_PER_PAGE]; in doublemap_init()1179 pt_entry_t entries[PTE_PER_PAGE]; in doublemap_init()1184 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