gonzui

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

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

49:                         schedtsk = ready_queue_top(&ready_queue);
50:                         dispatch_request();
51:                 }
85:         if ( ctxtsk != schedtsk ) {
86:                 dispatch_request();
87:         }
118:                         schedtsk = ready_queue_top(&ready_queue);
119:                         dispatch_request();
120:                 }
154:                 if ( ctxtsk != schedtsk ) {
155:                         dispatch_request();
156:                 }
186:         if ( ctxtsk != schedtsk ) {
187:                 dispatch_request();
188:         }