- event void Timer.fired[uint8_t id]() {
- thread_t* t = call ThreadScheduler.threadInfo(id);
- syscall_t* s = t->syscall;
- params_t* p = t->syscall->params;
- call SystemCall.start(releaseTask, s, INVALID_ID, p);
- if(p->error == SUCCESS)
- call SystemCall.start(requestTask, s, INVALID_ID, p);
- else call SystemCall.finish(s);
- }
-