Searched refs:NKPT (Results 1 – 4 of 4) sorted by relevance
394 KPTphys = ALLOCPAGES(NKPT); /* level 1 */ in Idle_PTs_init()405 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(KPTphys), 0, NKPT); in Idle_PTs_init()471 if (index_limit > NKPT * PTE_PER_PAGE) { in Idle_PTs_release()472 index_limit = NKPT * PTE_PER_PAGE; in Idle_PTs_release()
229 #ifndef NKPT230 #define NKPT 500 /* actual number of bootstrap kernel page tables */ macro
271 DECLARE("NKPT", NKPT); in main()
517 nkpt = NKPT; in pmap_bootstrap()518 OSAddAtomic(NKPT, &inuse_ptepages_count); in pmap_bootstrap()519 OSAddAtomic64(NKPT, &alloc_ptepages_count); in pmap_bootstrap()520 bootstrap_wired_pages = NKPT; in pmap_bootstrap()1023 assert(ppn + cnt <= KPTphys_ppn + NKPT); in pmap_free_early_PT()