TLBSHOOT_SYNC_PV
pmap_tlb_shootdown(pmap, va, opte, TLBSHOOT_SYNC_PV);
pmap_tlb_shootdown(pmap, va, 0, TLBSHOOT_SYNC_PV);