Symbol: sfmmu_alloc_scd_tsbs