Searched refs:NKPT (Results 1 – 4 of 4) sorted by relevance
391 KPTphys = ALLOCPAGES(NKPT); /* level 1 */ in Idle_PTs_init()402 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(KPTphys), 0, NKPT); in Idle_PTs_init()468 if (index_limit > NKPT * PTE_PER_PAGE) { in Idle_PTs_release()469 index_limit = NKPT * PTE_PER_PAGE; in Idle_PTs_release()
229 #ifndef NKPT230 #define NKPT 500 /* actual number of bootstrap kernel page tables */ macro
260 DECLARE("NKPT", NKPT); in main()
512 nkpt = NKPT; in pmap_bootstrap()513 OSAddAtomic(NKPT, &inuse_ptepages_count); in pmap_bootstrap()514 OSAddAtomic64(NKPT, &alloc_ptepages_count); in pmap_bootstrap()515 bootstrap_wired_pages = NKPT; in pmap_bootstrap()1048 assert(ppn + cnt <= KPTphys_ppn + NKPT); in pmap_free_early_PT()