gonzui

tkernel_2

kernel/tkernel/src/klock.c - 5.4KB - 190 lines

49:                         schedtsk = ready_queue_top(&ready_queue);
50:                         dispatch_request();
51:                 }

More results from klock.c

kernel/tkernel/src/task.c - 8.1KB - 303 lines

181:                 schedtsk = toptsk;
182:                 dispatch_request();
183:         }

More results from task.c

kernel/tkernel/src/timer.c - 6.2KB - 216 lines

194:                         if ( schedtsk != ctxtsk ) {
195:                                 dispatch_request();
196:                         }