htable_getpage
(ht = htable_getpage(kas.a_hat, va, NULL)) !=
ht = htable_getpage(hat, vaddr, NULL);
ht = htable_getpage(hat, vaddr, &entry);
ht = htable_getpage(hat, vaddr, &entry);
extern htable_t *htable_getpage(struct hat *hat, uintptr_t va, uint_t *entry);