set_platform_tsb_spares
if (&set_platform_tsb_spares)
ntsbs = set_platform_tsb_spares();
extern int set_platform_tsb_spares(void);