gonzui

Results 1 - 1 of 1 for funcall:ready_queue_top from tkernel_2/kernel/tkernel/src/klock.c (0.00 seconds)

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

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 ) {