Searched refs:rt_run_queue (Results 1 – 2 of 2) sorted by relevance
1202 check_rt_runq_consistency(rt_queue_t rt_run_queue, thread_t thread) in check_rt_runq_consistency() argument1204 bitmap_t *map = rt_run_queue->bitmap; in check_rt_runq_consistency()1214 rt_queue_pri_t *rt_runq = &rt_run_queue->rt_queue_pri[i]; in check_rt_runq_consistency()1251 assert(os_atomic_load_wide(&rt_run_queue->earliest_deadline, relaxed) == earliest_deadline); in check_rt_runq_consistency()1252 assert(os_atomic_load(&rt_run_queue->count, relaxed) == count); in check_rt_runq_consistency()1253 assert(os_atomic_load(&rt_run_queue->constraint, relaxed) == constraint); in check_rt_runq_consistency()1254 assert(os_atomic_load(&rt_run_queue->ed_index, relaxed) == ed_index); in check_rt_runq_consistency()1262 rt_runq_enqueue(rt_queue_t rt_run_queue, thread_t thread, processor_t processor) in rt_runq_enqueue() argument1267 rt_queue_pri_t *rt_runq = &rt_run_queue->rt_queue_pri[i]; in rt_runq_enqueue()1268 bitmap_t *map = rt_run_queue->bitmap; in rt_runq_enqueue()[all …]
170 void check_rt_runq_consistency(rt_queue_t rt_run_queue, thread_t thread);177 thread_t rt_runq_dequeue(rt_queue_t rt_run_queue);179 thread_t rt_runq_first(rt_queue_t rt_run_queue);183 void rt_runq_remove(rt_queue_t rt_run_queue, thread_t thread);