Symbol: hat_tlb_inval_range
usr/src/uts/i86pc/vm/hat_i86.c
2660
hat_tlb_inval_range(hat, &range);
usr/src/uts/i86pc/vm/hat_i86.c
2835
hat_tlb_inval_range(hat, &range[cnt]);