PMAP_TLB_NEED_IPI
pmap_tlb_update_addr(pmap, sva, npte, PMAP_TLB_NEED_IPI);
pmap_tlb_update_addr(pmap, va, pte, PMAP_TLB_NEED_IPI);
update_flags |= PMAP_TLB_NEED_IPI;
if (flags & PMAP_TLB_NEED_IPI)