htable_e2va
uintptr_t addr = htable_e2va(ht, entry);
hat_tlb_inval(ht->ht_hat, htable_e2va(ht, entry));
hat_tlb_inval(ht->ht_hat, htable_e2va(ht, entry));
htable_e2va(dest, entry) < HYPERVISOR_VIRT_END)
extern uintptr_t htable_e2va(htable_t *ht, uint_t entry);