sfmmu_leave_scd
sfmmu_leave_scd(sfmmup, r_type);
sfmmu_leave_scd(sfmmup, 0);
static void sfmmu_leave_scd(sfmmu_t *, uchar_t);