Searched refs:NKPT (Results 1 – 4 of 4) sorted by relevance
395 KPTphys = ALLOCPAGES(NKPT); /* level 1 */ in Idle_PTs_init()406 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(KPTphys), 0, NKPT); in Idle_PTs_init()472 if (index_limit > NKPT * PTE_PER_PAGE) { in Idle_PTs_release()473 index_limit = NKPT * PTE_PER_PAGE; in Idle_PTs_release()
229 #ifndef NKPT230 #define NKPT 500 /* actual number of bootstrap kernel page tables */ macro
283 DECLARE("NKPT", NKPT); in main()
488 nkpt = NKPT; in pmap_bootstrap()489 OSAddAtomic(NKPT, &inuse_ptepages_count); in pmap_bootstrap()490 OSAddAtomic64(NKPT, &alloc_ptepages_count); in pmap_bootstrap()491 bootstrap_wired_pages = NKPT; in pmap_bootstrap()994 assert(ppn + cnt <= KPTphys_ppn + NKPT); in pmap_free_early_PT()