Symbol: sfmmu_get_ctx
usr/src/uts/sfmmu/vm/hat_sfmmu.c
11860
sfmmu_get_ctx(sfmmup);
usr/src/uts/sfmmu/vm/hat_sfmmu.c
1887
sfmmu_get_ctx(sfmmup);
usr/src/uts/sfmmu/vm/hat_sfmmu.c
440
static void sfmmu_get_ctx(sfmmu_t *);