hat_tlb_inval
hat_tlb_inval(hat, DEMAP_ALL_ADDR);
extern void hat_tlb_inval(struct hat *hat, uintptr_t va);
hat_tlb_inval(hat, (higher->ht_flags & HTABLE_COPIED) ?
hat_tlb_inval(higher->ht_hat, DEMAP_ALL_ADDR);
hat_tlb_inval(hat, addr);
hat_tlb_inval(ht->ht_hat, htable_e2va(ht, entry));
hat_tlb_inval(ht->ht_hat, htable_e2va(ht, entry));