pmap_tlb_flushID_SE
pmap_tlb_flushID_SE(pm, va);
pmap_tlb_flushID_SE(pm, sva);
pmap_tlb_flushID_SE(pm, l1idx << L1_S_SHIFT);
pmap_tlb_flushID_SE(pm, pv->pv_va);