Searched refs:KPTphys (Results 1 – 2 of 2) sorted by relevance
152 pd_entry_t *KPTphys; variable395 KPTphys = ALLOCPAGES(NKPT); /* level 1 */ in Idle_PTs_init()401 fillkpt(KPTphys, in Idle_PTs_init()406 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(KPTphys), 0, NKPT); in Idle_PTs_init()483 assert(KPTphys[i] == 0); in Idle_PTs_release()484 if (KPTphys[i] != 0) { in Idle_PTs_release()
310 extern void *KPTphys;992 KPTphys_ppn = pmap_find_phys(kernel_pmap, (uintptr_t)KPTphys); in pmap_free_early_PT()996 ml_static_mfree((uintptr_t)KPTphys + offset, PAGE_SIZE * cnt); in pmap_free_early_PT()