sfmmu_alloc_scd_tsbs
if (sfmmu_alloc_scd_tsbs(srdp, new_scdp) != TSB_SUCCESS) {
static int sfmmu_alloc_scd_tsbs(sf_srd_t *, sf_scd_t *);