Symbol: cpu_inv_tsb
usr/src/uts/sun4v/vm/mach_sfmmu.c
468
extern void cpu_inv_tsb(caddr_t, uint_t);
usr/src/uts/sun4v/vm/mach_sfmmu.c
470
cpu_inv_tsb(tsb_base, tsb_bytes);