state == SCHED_READY) {
break;
}
// Now we stop at the idle task, if nothing else is ready
current = tasklist[nxtid];
} return current;
}
int kpost(TASKP *tasklist, unsigned events, int milliseconds) {
int i;
if (events & INT_TIMER)
milliseconds++;
if (milliseconds<0) {
milliseconds -= 0x80000000;
for(i=0; i<=LAST_TASK; i++) {
if(tasklist[i]->timeout) {
tasklist[i]->timeout -= 0x80000000;
if (tasklist[i]->timeout==0)
tasklist[i]->timeout++;
if ((int)tasklist[i]->timeout < milliseconds) {
tasklist[i]->pending |= SWINT_TIMEOUT;
tasklist[i]->timeout = 0;
}
}
}
} else {
for(i=0; i<=LAST_TASK; i++) {
if(tasklist[i]->timeout) {
if (tasklist[i]->timeout < (unsigned)milliseconds) {
tasklist[i]->pending |= SWINT_TIMEOUT;
tasklist[i]->timeout = 0;
}
}
}
} for(i=0; i<=LAST_TASK; i++) {
tasklist[i]->pending |= events;
if ((tasklist[i]->state == SCHED_WAITING)
&&(tasklist[i]->waitsig&tasklist[i]->pending)) {
tasklist[i]->state = SCHED_READY;
tasklist[i]->context[1] = tasklist[i]->waitsig & tasklist[i]->pending;
tasklist[i]->pending &= (~tasklist[i]->context[1]);
tasklist[i]->waitsig = 0;
}
} return milliseconds;
}
Error running this command: diff -w -U 5 "" "/tmp/DF4NDS"
diff: : No such file or directory