tlb_flush_pte
tlb_flush_pte(va, pm);
tlb_flush_pte(va, pm);
tlb_flush_pte(va, pm);
tlb_flush_pte(va, pm);
tlb_flush_pte(va, pm);
tlb_flush_pte(sva, pm);
tlb_flush_pte(va, pm);
tlb_flush_pte(va, pmap);
tlb_flush_pte(va, pmap);
tlb_flush_pte(va, pmap);
tlb_flush_pte(va, pmap);
tlb_flush_pte(va, pmap);
tlb_flush_pte(va, pv->pv_pmap);