Format: AllC/C++CSSTextshell script Advanced Search
48: 49: schedtsk = ready_queue_top(&ready_queue); 50: dispatch_request();
170: 171: toptsk = ready_queue_top(&ready_queue); 172: if ( schedtsk != toptsk ) {