htable_lookup
ht = htable_lookup(hat, va, level);
ht = htable_lookup(hat, vaddr, l);
ht = htable_lookup(hat, vaddr, l);
ht = htable_lookup(hat, (uintptr_t)addr, 0);
src = htable_lookup(kas.a_hat, va, rp->hkr_level);
(void) htable_lookup(shared->ht_hat,
ht = htable_lookup(hat, va, l);
ht = htable_lookup(hat, vaddr, l);
extern htable_t *htable_lookup(struct hat *hat, uintptr_t vaddr, level_t level);