105 	assert(processor == current_processor());  in thread_quantum_expire()
106 	assert(thread == current_thread());  in thread_quantum_expire()
288 	assert(priority >= MINPRI);  in sched_set_thread_base_priority()
292 		assert((priority >= BASEPRI_RTQUEUES) && (priority <= MAXPRI));  in sched_set_thread_base_priority()
294 		assert(priority < BASEPRI_RTQUEUES);  in sched_set_thread_base_priority()
305 		assert(thread->last_made_runnable_time != THREAD_NOT_RUNNABLE);  in sched_set_thread_base_priority()
309 		assert(thread->last_basepri_change_time == THREAD_NOT_RUNNABLE);  in sched_set_thread_base_priority()
310 		assert(thread->last_made_runnable_time == THREAD_NOT_RUNNABLE);  in sched_set_thread_base_priority()
348 	assert(thread->sched_mode != TH_MODE_REALTIME);  in sched_set_kernel_thread_priority()
349 	assert(thread->effective_policy.thep_qos == THREAD_QOS_UNSPECIFIED);  in sched_set_kernel_thread_priority()
470 	assert(thread == current_thread());  in lightweight_update_priority()
655 	assert(ticks != 0);  in update_priority()
756 	assert(bucket >= TH_BUCKET_FIXPRI &&  in sched_incr_bucket()
765 	assert(bucket >= TH_BUCKET_FIXPRI &&  in sched_decr_bucket()
768 	assert(os_atomic_load(&sched_run_buckets[bucket], relaxed) > 0);  in sched_decr_bucket()
776 	assert(bucket >= TH_BUCKET_FIXPRI &&  in sched_add_bucket()
785 	assert(bucket >= TH_BUCKET_FIXPRI &&  in sched_sub_bucket()
788 	assert(os_atomic_load(&sched_run_buckets[bucket], relaxed) > 0);  in sched_sub_bucket()
796 	assert((thread->state & (TH_RUN | TH_IDLE)) == TH_RUN);  in sched_run_incr()
808 	assert((thread->state & (TH_RUN | TH_IDLE)) != TH_RUN);  in sched_run_decr()
820 	assert((thread->state & (TH_RUN | TH_IDLE)) == TH_RUN);  in sched_smt_run_incr()
835 	assert((thread->state & (TH_RUN | TH_IDLE)) != TH_RUN);  in sched_smt_run_decr()
962 …assert((thread->sched_mode == TH_MODE_REALTIME) || (thread->th_work_interval_flags & TH_WORK_INTER…  in sched_set_thread_mode()
1008 	assert(reason & TH_SFLAG_DEMOTED_MASK);  in sched_thread_mode_demote()
1009 	assert((thread->sched_flags & reason) != reason);  in sched_thread_mode_demote()
1036 	assert(thread->saved_mode == TH_MODE_NONE);  in sched_thread_mode_demote()
1059 	assert(reason & TH_SFLAG_DEMOTED_MASK);  in sched_thread_mode_has_demotion()
1069 	assert(reason & TH_SFLAG_DEMOTED_MASK);  in sched_thread_mode_undemote()
1070 	assert((thread->sched_flags & reason) == reason);  in sched_thread_mode_undemote()
1071 	assert(thread->saved_mode != TH_MODE_NONE);  in sched_thread_mode_undemote()
1072 	assert(thread->sched_mode == TH_MODE_TIMESHARE);  in sched_thread_mode_undemote()
1073 	assert(thread->policy_reset == 0);  in sched_thread_mode_undemote()
1124 	assert(reason & TH_SFLAG_PROMOTE_REASON_MASK);  in sched_thread_promote_reason()
1125 	assert((thread->sched_flags & reason) != reason);  in sched_thread_promote_reason()
1165 	assert(reason & TH_SFLAG_PROMOTE_REASON_MASK);  in sched_thread_unpromote_reason()
1166 	assert((thread->sched_flags & reason) == reason);  in sched_thread_unpromote_reason()