Lines Matching refs:ASSERT
177 ASSERT(MUTEX_HELD(&cpu_lock)); in disp_setup()
279 ASSERT(maxglobpri >= 0); in dispinit()
343 ASSERT(MUTEX_HELD(&cpu_lock)); in cpu_dispqalloc()
397 ASSERT(dptr->oldnglobpris < numpris); in disp_dq_assign()
438 ASSERT(MUTEX_HELD(&cpu_lock)); /* protect dispatcher queue sizes */ in disp_cpu_init()
466 ASSERT(MUTEX_HELD(&cpu_lock)); in disp_cpu_fini()
540 ASSERT(CPU_ACTIVE(ocp)); in disp_anywork()
798 ASSERT(tp != NULL); in disp()
799 ASSERT(tp->t_schedflag & TS_LOAD); /* thread must be swapped in */ in disp()
811 ASSERT(dq->dq_sruncnt == 0); in disp()
846 ASSERT(pri == DISP_PRIO(tp)); in disp()
850 ASSERT(tp != NULL); in disp()
887 ASSERT(CPU_ON_INTR(cp) == 0); /* not called with PIL > 10 */ in swtch()
899 ASSERT(t->t_state != TS_ONPROC || in swtch()
907 ASSERT(CPU_ON_INTR(cp) == 0); /* not called with PIL > 10 */ in swtch()
992 ASSERT(curthread->t_state == TS_ZOMB); in swtch_from_zombie()
995 ASSERT(CPU_ON_INTR(CPU) == 0); /* not called with PIL > 10 */ in swtch_from_zombie()
997 ASSERT(next != curthread); in swtch_from_zombie()
1033 ASSERT(dq->dq_last == NULL || dq->dq_last->t_link == NULL); in search_disp_queues()
1057 ASSERT(getpil() >= DISP_LEVEL); in thread_on_queue()
1208 ASSERT(THREAD_LOCK_HELD(tp)); in setbackdq()
1209 ASSERT((tp->t_schedflag & TS_ALLSTART) == 0); in setbackdq()
1210 ASSERT(!thread_on_queue(tp)); /* make sure tp isn't on a runq */ in setbackdq()
1294 ASSERT((cp->cpu_flags & CPU_QUIESCED) == 0); in setbackdq()
1330 ASSERT(tpri >= 0 && tpri < dp->disp_npri); in setbackdq()
1343 ASSERT(dq->dq_first != NULL); in setbackdq()
1347 ASSERT(dq->dq_first == NULL); in setbackdq()
1348 ASSERT(dq->dq_last == NULL); in setbackdq()
1392 ASSERT(THREAD_LOCK_HELD(tp)); in setfrontdq()
1393 ASSERT((tp->t_schedflag & TS_ALLSTART) == 0); in setfrontdq()
1394 ASSERT(!thread_on_queue(tp)); /* make sure tp isn't on a runq */ in setfrontdq()
1444 ASSERT((cp->cpu_flags & CPU_QUIESCED) == 0); in setfrontdq()
1480 ASSERT(tpri >= 0 && tpri < dp->disp_npri); in setfrontdq()
1492 ASSERT(dq->dq_last != NULL); in setfrontdq()
1496 ASSERT(dq->dq_last == NULL); in setfrontdq()
1497 ASSERT(dq->dq_first == NULL); in setfrontdq()
1544 ASSERT(tpri >= 0 && tpri < dp->disp_npri); in setkpdq()
1553 ASSERT(dq->dq_first != NULL); in setkpdq()
1558 ASSERT(dq->dq_last != NULL); in setkpdq()
1564 ASSERT(dq->dq_first == NULL); in setkpdq()
1565 ASSERT(dq->dq_last == NULL); in setkpdq()
1568 ASSERT(dq->dq_last == NULL); in setkpdq()
1569 ASSERT(dq->dq_first == NULL); in setkpdq()
1589 ASSERT((cp->cpu_flags & CPU_QUIESCED) == 0); in setkpdq()
1613 ASSERT(THREAD_LOCK_HELD(tp)); in dispdeq()
1627 ASSERT(tpri < dp->disp_npri); in dispdeq()
1633 ASSERT(dq->dq_last == NULL || dq->dq_last->t_link == NULL); in dispdeq()
1698 ASSERT(t->t_state == TS_RUN); in dq_sruninc()
1699 ASSERT(t->t_schedflag & TS_LOAD); in dq_sruninc()
1712 ASSERT(t->t_schedflag & TS_LOAD); in dq_srundec()
1727 ASSERT(THREAD_LOCK_HELD(tp)); in disp_swapped_enq()
1728 ASSERT(tp->t_schedflag & TS_LOAD); in disp_swapped_enq()
1759 ASSERT(THREAD_LOCK_HELD(tp)); in disp_swapped_setrun()
1760 ASSERT((tp->t_schedflag & (TS_LOAD | TS_ON_SWAPQ)) != TS_LOAD); in disp_swapped_setrun()
1801 ASSERT(THREAD_LOCK_HELD(tp)); in cpu_surrender()
1856 ASSERT(tp != NULL); in disp_ratify()
1955 ASSERT(CPU_ACTIVE(ocp)); in disp_getwork()
2088 ASSERT(DISP_LOCK_HELD(&dp->disp_lock)); in disp_fix_unbound_pri()
2090 ASSERT(pri >= 0); /* checked by caller */ in disp_fix_unbound_pri()
2151 ASSERT(THREAD_LOCK_HELD(tp)); in disp_adjust_unbound_pri()
2164 ASSERT(tpri >= 0 && tpri < dp->disp_npri); in disp_adjust_unbound_pri()
2341 ASSERT(thread_was_on_queue); in disp_getbest()
2386 ASSERT(pri == DISP_PRIO(tp)); in disp_getbest()
2413 ASSERT(flag); in disp_bound_common()
2528 ASSERT(wasonq); in disp_cpu_inactive()
2529 ASSERT(tp->t_weakbound_cpu == NULL); in disp_cpu_inactive()
2545 ASSERT(tp->t_cpu != cp); in disp_cpu_inactive()
2618 ASSERT(hint != NULL); in disp_lowpri_cpu()
2619 ASSERT(tp->t_lpl->lpl_ncpu > 0); in disp_lowpri_cpu()
2678 ASSERT((bestcpu->cpu_flags & CPU_QUIESCED) == 0); in disp_lowpri_cpu()
2706 ASSERT(t->t_preempt > 0); in disp_choose_best_cpu()
2707 ASSERT(t->t_state == TS_ONPROC); in disp_choose_best_cpu()
2708 ASSERT(t->t_schedflag & TS_VCPU); in disp_choose_best_cpu()