Searched refs:KPTphys_ppn (Results 1 – 1 of 1) sorted by relevance
989 ppnum_t KPTphys_ppn; in pmap_free_early_PT() local992 KPTphys_ppn = pmap_find_phys(kernel_pmap, (uintptr_t)KPTphys); in pmap_free_early_PT()993 assert(ppn >= KPTphys_ppn); in pmap_free_early_PT()994 assert(ppn + cnt <= KPTphys_ppn + NKPT); in pmap_free_early_PT()995 offset = (ppn - KPTphys_ppn) << PAGE_SHIFT; in pmap_free_early_PT()