Search | Google it | Results 1 - 1 of 1 for funcall:ready_queue_top from tkernel_2/kernel/tkernel/src/task.c (0.00 seconds) |
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();