{
semGive(semId);
times--;
if(times > 0)
wdStart(wdId, TIME_BETWEEN_INTERRUPTS,(FUNCPTR...);
break;
}
wdId = wdCreate();
syncId = taskSpawn("tSync",101,0,5000,(FUNCPTR...0,0,0,0,0,0,0,0,0,0);
/* watchdog simulates hardware interrupts */
wdStart(wdId, TIME_BETWEEN_INTERRUPTS,(FUNCPTR