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