htable_getpte
ht = htable_getpte(hat, vaddr, &entry, &old_pte, 0);
ht = htable_getpte(hat, vaddr, NULL, &pte, mmu.max_page_level);
ht = htable_getpte(kas.a_hat, va, &entry, &oldpte, 0);
ht = htable_getpte(kas.a_hat, ALIGN2PAGE(addr), NULL, NULL, 0);
ht = htable_getpte(kas.a_hat, va, &entry, NULL, 0);
ht = htable_getpte(hat, vaddr, &e, &pte, mmu.max_page_level);
extern htable_t *htable_getpte(struct hat *, uintptr_t, uint_t *, x86pte_t *,