Home | History | Annotate | Download | only in kern

Lines Matching refs:KASSERT

51 	KASSERT(l->l_blcnt == 0);
55 	KASSERT(lwp_locked(l, spc->spc_lwplock));
60 	KASSERT((l->l_pflag & LP_RUNNING) != 0);
73 		KASSERT((l->l_flag & LW_IDLE) != 0);
74 		KASSERT(ci == curcpu());
75 		KASSERT(l == curlwp);
76 		KASSERT(CURCPU_IDLE_P());
77 		KASSERT(l->l_priority == PRI_IDLE);
94 		KASSERT(l->l_mutex == l->l_cpu->ci_schedstate.spc_lwplock);
98 		KASSERT(curlwp == l);
99 		KASSERT(l->l_stat == LSIDL);
109 	KASSERT(ci->ci_data.cpu_idlelwp == NULL);