Searched refs:KPTphys_ppn (Results 1 – 1 of 1) sorted by relevance
1043 ppnum_t KPTphys_ppn; in pmap_free_early_PT() local1046 KPTphys_ppn = pmap_find_phys(kernel_pmap, (uintptr_t)KPTphys); in pmap_free_early_PT()1047 assert(ppn >= KPTphys_ppn); in pmap_free_early_PT()1048 assert(ppn + cnt <= KPTphys_ppn + NKPT); in pmap_free_early_PT()1049 offset = (ppn - KPTphys_ppn) << PAGE_SHIFT; in pmap_free_early_PT()