Symbol: sfmmu_ctxdom_free
usr/src/uts/sfmmu/vm/hat_sfmmu.c
1701
sfmmu_ctxdom_free(mmu_ctxp);
usr/src/uts/sfmmu/vm/hat_sfmmu.c
1847
sfmmu_ctxdom_free(mmu_ctxp);