pmap_tlb_check
pmap_tlb_check(pmap, pmap_md_tlb_check_entry);
void pmap_tlb_check(pmap_t, bool (*)(void *, vaddr_t, tlb_asid_t, pt_entry_t));