Searched refs:KPTphys (Results 1 – 2 of 2) sorted by relevance
148 pd_entry_t *KPTphys; variable391 KPTphys = ALLOCPAGES(NKPT); /* level 1 */ in Idle_PTs_init()397 fillkpt(KPTphys, in Idle_PTs_init()402 INTEL_PTE_WRITE, (uintptr_t)ID_MAP_VTOP(KPTphys), 0, NKPT); in Idle_PTs_init()479 assert(KPTphys[i] == 0); in Idle_PTs_release()480 if (KPTphys[i] != 0) { in Idle_PTs_release()
310 extern void *KPTphys;1046 KPTphys_ppn = pmap_find_phys(kernel_pmap, (uintptr_t)KPTphys); in pmap_free_early_PT()1050 ml_static_mfree((uintptr_t)KPTphys + offset, PAGE_SIZE * cnt); in pmap_free_early_PT()