SWCODEC Audio: Add some INIT_ATTR's to get a few bytes back.

Change-Id: Ie7b04ecf3b3535e0ed45a6e0e8d81af89e38378e
This commit is contained in:
Michael Sevakis 2013-06-29 22:19:59 -04:00
parent 89b05af496
commit 9b990bdab1
4 changed files with 5 additions and 5 deletions

View file

@ -139,7 +139,7 @@ void audio_error_clear(void)
/** -- Startup -- **/
/* Initialize the audio system - called from init() in main.c */
void audio_init(void)
void INIT_ATTR audio_init(void)
{
/* Can never do this twice */
if (audio_is_initialized)

View file

@ -1720,7 +1720,7 @@ static void NORETURN_ATTR buffering_thread(void)
}
}
void buffering_init(void)
void INIT_ATTR buffering_init(void)
{
mutex_init(&llist_mutex);

View file

@ -627,7 +627,7 @@ static void NORETURN_ATTR codec_thread(void)
/** --- Miscellaneous external interfaces -- **/
/* Initialize playback's codec interface */
void codec_thread_init(void)
void INIT_ATTR codec_thread_init(void)
{
/* Init API */
ci.dsp = dsp_get_config(CODEC_IDX_AUDIO);

View file

@ -494,7 +494,7 @@ static void track_info_wipe(struct track_info * info)
/** --- Track list --- **/
/* Initialize the track list */
static void track_list_init(void)
static void INIT_ATTR track_list_init(void)
{
int i;
for (i = 0; i < TRACK_LIST_LEN; i++)
@ -3747,7 +3747,7 @@ unsigned int playback_status(void)
}
/** -- Startup -- **/
void playback_init(void)
void INIT_ATTR playback_init(void)
{
logf("playback: initializing");