tlb_update_addr
tlb_update_addr(sva, KERNEL_PID, pte, 0);
bool tlb_update_addr(vaddr_t, tlb_asid_t, pt_entry_t, bool)
rv = tlb_update_addr(va, KERNEL_PID, npte, true);
tlb_update_addr(va, KERNEL_PID, old_pte, 0);
tlb_update_addr(vaddr_t va, tlb_asid_t asid, pt_entry_t pte, bool insert_p)
tlb_update_addr(trunc_page(faultva), KERNEL_PID, *ptep, true);
rv = tlb_update_addr(va, pai->pai_asid, pte,
bool tlb_update_addr(vaddr_t, tlb_asid_t, pt_entry_t, bool);