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