/shark/trunk/kernel/modules/intdrive.c |
---|
124,6 → 124,8 |
static PID INTDRIVE_public_scheduler(LEVEL l) |
{ |
if (INTDRIVE_task == NIL) return NIL; |
if (proc_table[INTDRIVE_task].status == INTDRIVE_READY || |
proc_table[INTDRIVE_task].status == EXE) |
return INTDRIVE_task; |