gonzui

tkernel_2

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

170: 
171:         toptsk = ready_queue_top(&ready_queue);
172:         if ( schedtsk != toptsk ) {
218:         if ( schedtsk == tcb ) {
219:                 schedtsk = ready_queue_top(&ready_queue);
220:                 dispatch_request();