htable_walk
(void) htable_walk(hat, &ht, &vaddr, eaddr);
(void) htable_walk(hat, &ht, &vaddr, eaddr);
old_pte = htable_walk(hat, &ht, &vaddr, eaddr);
pte = htable_walk(hat, &ht, &vaddr, eaddr);
oldpte = htable_walk(hat, &ht, &vaddr, eaddr);
pte = htable_walk(ism_hat, &ism_ht, &ism_addr, e_ism_addr);
pte = htable_walk(kas.a_hat, &ht, &vaddr, high);
extern x86pte_t htable_walk(struct hat *hat, htable_t **ht, uintptr_t *va,