Search | Google it | Results 1 - 1 of 1 for funcall:ready_queue_top from tkernel_2/kernel/tkernel/src/klock.c (0.00 seconds) |
48: 49: schedtsk = ready_queue_top(&ready_queue); 50: dispatch_request(); 83: 84: schedtsk = ready_queue_top(&ready_queue); 85: if ( ctxtsk != schedtsk ) { 117: 118: schedtsk = ready_queue_top(&ready_queue); 119: dispatch_request(); 152: 153: schedtsk = ready_queue_top(&ready_queue); 154: if ( ctxtsk != schedtsk ) { 184: } 185: schedtsk = ready_queue_top(&ready_queue); 186: if ( ctxtsk != schedtsk ) {