Searched refs:rt_scheduler (Results 1 – 1 of 1) sorted by relevance
33 let rt_scheduler = __get_rt_scheduler(); in get_cpu_loads() localVariable35 let len_rt = rt_scheduler.rt_queue_len(cpu_id); in get_cpu_loads()78 let rt_scheduler: &mut SchedulerRT = __get_rt_scheduler(); in do_sched() localVariable82 match rt_scheduler.pick_next_task_rt(current_pcb().cpu_id) { in do_sched()87 rt_scheduler.enqueue_front(next); in do_sched()89 return rt_scheduler.sched(); in do_sched()111 let rt_scheduler = __get_rt_scheduler(); in sched_enqueue() localVariable134 rt_scheduler.enqueue(pcb); in sched_enqueue()