Searched defs:rt_scheduler (Results 1 – 1 of 1) sorted by relevance
33 let rt_scheduler = __get_rt_scheduler(); in get_cpu_loads() localVariable78 let rt_scheduler: &mut SchedulerRT = __get_rt_scheduler(); in do_sched() localVariable111 let rt_scheduler = __get_rt_scheduler(); in sched_enqueue() localVariable