pmap_tlb_update_addr
int ok = pmap_tlb_update_addr(pmap, vaddr, pte, 0);
pmap_tlb_update_addr(faultmap->pmap, trunc_page(faultva),
pmap_tlb_update_addr(faultmap->pmap, trunc_page(faultva),
pmap_tlb_update_addr(pmap, addr, npte, 0);
pmap_tlb_update_addr(pmap, sva, npte, PMAP_TLB_NEED_IPI);
pmap_tlb_update_addr(pmap, va, pte, PMAP_TLB_NEED_IPI);
pmap_tlb_update_addr(pmap, va, npte, update_flags);
pmap_tlb_update_addr(pmap_kernel(), va, npte, 0);
int pmap_tlb_update_addr(pmap_t, vaddr_t, pt_entry_t, u_int);