/* Module__startupDone__S */ xdc_Bool xdc_runtime_System_Module__startupDone__S( void ) { return (xdc_runtime_Startup_getState__I(Module__MID) < 0); }
/* Module__startupDone__S */ xdc_Bool ti_sysbios_knl_Swi_Module__startupDone__S( void ) { return (xdc_runtime_Startup_getState__I(Module__MID) < 0); }
/* Module__startupDone__S */ xdc_Bool ti_sysbios_family_arm_cc26xx_Timer_Module__startupDone__S( void ) { return (xdc_runtime_Startup_getState__I(Module__MID) < 0); }