Searched defs:highest_ready_priority (Results 1 – 1 of 1) sorted by relevance
129 register rt_ubase_t highest_ready_priority, local_highest_ready_priority; in _get_highest_priority_thread() local173 register rt_ubase_t highest_ready_priority; in _get_highest_priority_thread() local257 rt_ubase_t highest_ready_priority; in rt_system_scheduler_start() local328 rt_ubase_t highest_ready_priority; in rt_schedule() local411 rt_ubase_t highest_ready_priority; in rt_schedule() local530 rt_ubase_t highest_ready_priority; in rt_scheduler_do_irq_switch() local