Symbol: sfmmu_tsb_free