void tsk_led_toggle(void)
{
/* initialization of the task */
/* nothing to do */
/* process */
while(1)
{
SEM_pendBinary(&SEM_LEDToggle, SYS_FOREVER);
//LOG_printf(&myLog, "tsk_led_toggle");
DSK6713_LED_toggle(0);
}
}
void dprintf (const char * format, ...)
{
int n;
va_list args;
va_start (args, format);
n = vsprintf (printf_buffer,format, args);
va_end (args);
if (n<=0) return;
// writeback cache:
BCACHE_wb (printf_buffer, n, 1);
// notify GPP:
NOTIFY_notify (ID_GPP, 0, 6, (Uint32)printf_buffer);
// wait for GPP acknowledge
SEM_pendBinary (dprint_sema, SYS_FOREVER);
}
void tsk_led_toggle(void)
{
/* initializatoin of the task */
/* nothing to do */
/* process */
while(1) {
SEM_pendBinary(&SEM_LEDToggle, SYS_FOREVER);
if(configComplete)
configComplete ++;
if(configComplete >= 2)
{
t_reg = DSK6713_rget(DSK6713_MISC);
t_reg &= ~MCBSP1SEL; // Set MCBSP1SEL to 1 (extern)
DSK6713_rset(DSK6713_MISC,t_reg);
configComplete = 0;
//DSK6713_rset(DSK6713_MISC,MCBSP1SEL);
//t_reg = DSK6713_rget(DSK6713_MISC);
//t_reg &= ~MCBSP1SEL; // Set MCBSP1SEL to 1 (extern)
//DSK6713_rset(DSK6713_MISC,t_reg);
DSK6713_LED_on(0);
DSK6713_LED_on(1);
DSK6713_LED_on(2);
DSK6713_LED_on(3);
}
DSK6713_LED_toggle(0);
DSK6713_LED_toggle(1);
DSK6713_LED_toggle(2);
DSK6713_LED_toggle(3);
}
}
