tlb_range_t
tlb_range_t *range = (tlb_range_t *)a2;
hat_tlb_inval_range(hat_t *hat, tlb_range_t *in_range)
tlb_range_t range = *in_range;
tlb_range_t range;
handle_ranges(hat_t *hat, hat_callback_t *cb, uint_t cnt, tlb_range_t *range)
tlb_range_t r[MAX_UNLOAD_CNT];
extern void mmu_flush_tlb(flush_tlb_type_t, tlb_range_t *);
mmu_flush_tlb(flush_tlb_type_t type, tlb_range_t *range)