Searched refs:invaladdr (Results 1 – 1 of 1) sorted by relevance
1167 vaddr_t invaladdr; in pmap_free_ptp() local1181 invaladdr = level == 1 ? (vaddr_t)PTE_BASE : in pmap_free_ptp()1183 pmap_tlb_shootpage(pmap, invaladdr + index * PAGE_SIZE, in pmap_free_ptp()