Lines Matching refs:DEBUG_ASSERT
79 DEBUG_ASSERT(t->magic == THREAD_MAGIC); in insert_in_run_queue_head()
80 DEBUG_ASSERT(t->state == THREAD_READY); in insert_in_run_queue_head()
81 DEBUG_ASSERT(!list_in_list(&t->queue_node)); in insert_in_run_queue_head()
82 DEBUG_ASSERT(arch_ints_disabled()); in insert_in_run_queue_head()
83 DEBUG_ASSERT(spin_lock_held(&thread_lock)); in insert_in_run_queue_head()
90 DEBUG_ASSERT(t->magic == THREAD_MAGIC); in insert_in_run_queue_tail()
91 DEBUG_ASSERT(t->state == THREAD_READY); in insert_in_run_queue_tail()
92 DEBUG_ASSERT(!list_in_list(&t->queue_node)); in insert_in_run_queue_tail()
93 DEBUG_ASSERT(arch_ints_disabled()); in insert_in_run_queue_tail()
94 DEBUG_ASSERT(spin_lock_held(&thread_lock)); in insert_in_run_queue_tail()
237 DEBUG_ASSERT(t->magic == THREAD_MAGIC); in thread_set_real_time()
275 DEBUG_ASSERT(t->magic == THREAD_MAGIC); in thread_resume()
276 DEBUG_ASSERT(t->state != THREAD_DEATH); in thread_resume()
307 DEBUG_ASSERT(t->magic == THREAD_MAGIC); in thread_join()
326 DEBUG_ASSERT(t->magic == THREAD_MAGIC); in thread_join()
327 DEBUG_ASSERT(t->state == THREAD_DEATH); in thread_join()
328 DEBUG_ASSERT(t->blocking_wait_queue == NULL); in thread_join()
329 DEBUG_ASSERT(!list_in_list(&t->queue_node)); in thread_join()
354 DEBUG_ASSERT(t->magic == THREAD_MAGIC); in thread_detach()
384 DEBUG_ASSERT(current_thread->magic == THREAD_MAGIC); in thread_exit()
385 DEBUG_ASSERT(current_thread->state == THREAD_RUNNING); in thread_exit()
386 DEBUG_ASSERT(!thread_is_idle(current_thread)); in thread_exit()
475 DEBUG_ASSERT(arch_ints_disabled()); in thread_resched()
476 DEBUG_ASSERT(spin_lock_held(&thread_lock)); in thread_resched()
477 DEBUG_ASSERT(current_thread->state != THREAD_RUNNING); in thread_resched()
483 DEBUG_ASSERT(newthread); in thread_resched()
608 DEBUG_ASSERT(current_thread->magic == THREAD_MAGIC); in thread_yield()
609 DEBUG_ASSERT(current_thread->state == THREAD_RUNNING); in thread_yield()
644 DEBUG_ASSERT(current_thread->magic == THREAD_MAGIC); in thread_preempt()
645 DEBUG_ASSERT(current_thread->state == THREAD_RUNNING); in thread_preempt()
682 DEBUG_ASSERT(current_thread->magic == THREAD_MAGIC); in thread_block()
683 DEBUG_ASSERT(current_thread->state == THREAD_BLOCKED); in thread_block()
684 DEBUG_ASSERT(spin_lock_held(&thread_lock)); in thread_block()
685 DEBUG_ASSERT(!thread_is_idle(current_thread)); in thread_block()
692 DEBUG_ASSERT(t->magic == THREAD_MAGIC); in thread_unblock()
693 DEBUG_ASSERT(t->state == THREAD_BLOCKED); in thread_unblock()
694 DEBUG_ASSERT(spin_lock_held(&thread_lock)); in thread_unblock()
695 DEBUG_ASSERT(!thread_is_idle(t)); in thread_unblock()
723 DEBUG_ASSERT(t->magic == THREAD_MAGIC); in thread_sleep_handler()
724 DEBUG_ASSERT(t->state == THREAD_SLEEPING); in thread_sleep_handler()
751 DEBUG_ASSERT(current_thread->magic == THREAD_MAGIC); in thread_sleep()
752 DEBUG_ASSERT(current_thread->state == THREAD_RUNNING); in thread_sleep()
753 DEBUG_ASSERT(!thread_is_idle(current_thread)); in thread_sleep()
772 DEBUG_ASSERT(arch_curr_cpu_num() == 0); in thread_init_early()
848 DEBUG_ASSERT(arch_ints_disabled()); in thread_become_idle()
878 DEBUG_ASSERT(arch_ints_disabled()); in thread_secondary_cpu_init_early()
1026 DEBUG_ASSERT(thread->magic == THREAD_MAGIC); in wait_queue_timeout_handler()
1063 DEBUG_ASSERT(wait->magic == WAIT_QUEUE_MAGIC); in wait_queue_block()
1064 DEBUG_ASSERT(current_thread->state == THREAD_RUNNING); in wait_queue_block()
1065 DEBUG_ASSERT(arch_ints_disabled()); in wait_queue_block()
1066 DEBUG_ASSERT(spin_lock_held(&thread_lock)); in wait_queue_block()
1113 DEBUG_ASSERT(wait->magic == WAIT_QUEUE_MAGIC); in wait_queue_wake_one()
1114 DEBUG_ASSERT(arch_ints_disabled()); in wait_queue_wake_one()
1115 DEBUG_ASSERT(spin_lock_held(&thread_lock)); in wait_queue_wake_one()
1120 DEBUG_ASSERT(t->state == THREAD_BLOCKED); in wait_queue_wake_one()
1167 DEBUG_ASSERT(wait->magic == WAIT_QUEUE_MAGIC); in wait_queue_wake_all()
1168 DEBUG_ASSERT(arch_ints_disabled()); in wait_queue_wake_all()
1169 DEBUG_ASSERT(spin_lock_held(&thread_lock)); in wait_queue_wake_all()
1183 DEBUG_ASSERT(t->state == THREAD_BLOCKED); in wait_queue_wake_all()
1198 DEBUG_ASSERT(wait->count == 0); in wait_queue_wake_all()
1216 DEBUG_ASSERT(wait->magic == WAIT_QUEUE_MAGIC); in wait_queue_destroy()
1217 DEBUG_ASSERT(arch_ints_disabled()); in wait_queue_destroy()
1218 DEBUG_ASSERT(spin_lock_held(&thread_lock)); in wait_queue_destroy()
1237 DEBUG_ASSERT(t->magic == THREAD_MAGIC); in thread_unblock_from_wait_queue()
1238 DEBUG_ASSERT(arch_ints_disabled()); in thread_unblock_from_wait_queue()
1239 DEBUG_ASSERT(spin_lock_held(&thread_lock)); in thread_unblock_from_wait_queue()
1244 DEBUG_ASSERT(t->blocking_wait_queue != NULL); in thread_unblock_from_wait_queue()
1245 DEBUG_ASSERT(t->blocking_wait_queue->magic == WAIT_QUEUE_MAGIC); in thread_unblock_from_wait_queue()
1246 DEBUG_ASSERT(list_in_list(&t->queue_node)); in thread_unblock_from_wait_queue()