Symbol: sfmmu_tsb_inv_ctx
usr/src/uts/sfmmu/vm/hat_sfmmu.c
12557
sfmmu_tsb_inv_ctx(sfmmup);
usr/src/uts/sfmmu/vm/hat_sfmmu.c
305
static void sfmmu_tsb_inv_ctx(sfmmu_t *);