549 nextlwp(struct cpu_info *ci, struct schedstate_percpu *spc)  in nextlwp()  argument
565 		KASSERT(lwp_locked(newl, spc->spc_mutex));  in nextlwp()
570 		spc->spc_curpriority = lwp_eprio(newl);  in nextlwp()
571 		spc->spc_flags &= ~(SPCF_SWITCHCLEAR | SPCF_IDLE);  in nextlwp()
572 		lwp_setlock(newl, spc->spc_lwplock);  in nextlwp()
580 		spc->spc_curpriority = PRI_IDLE;  in nextlwp()
581 		spc->spc_flags = (spc->spc_flags & ~SPCF_SWITCHCLEAR) |  in nextlwp()
611 	struct schedstate_percpu *spc;  in mi_switch()  local
631 	spc = &ci->ci_schedstate;  in mi_switch()
665 		KASSERT(lwp_locked(l, spc->spc_lwplock));  in mi_switch()
668 		lwp_setlock(l, spc->spc_mutex);  in mi_switch()
679 			spc->spc_migrating = l;  in mi_switch()
685 		newl = nextlwp(ci, spc);  in mi_switch()
731 		if (l->l_mutex == spc->spc_mutex) {  in mi_switch()
736 			mutex_spin_exit(spc->spc_lwplock);  in mi_switch()
742 			mutex_spin_exit(spc->spc_mutex);  in mi_switch()
867 		mutex_spin_exit(spc->spc_mutex);  in mi_switch()
1057 	struct schedstate_percpu *spc;  in sched_changepri()  local
1063 	spc = &ci->ci_schedstate;  in sched_changepri()
1066 		KASSERT(lwp_locked(l, spc->spc_mutex));  in sched_changepri()
1073 		KASSERT(lwp_locked(l, spc->spc_lwplock));  in sched_changepri()
1076 		sched_resched_cpu(ci, spc->spc_maxpriority, true);  in sched_changepri()
1086 	struct schedstate_percpu *spc;  in sched_lendpri()  local
1092 	spc = &ci->ci_schedstate;  in sched_lendpri()
1095 		KASSERT(lwp_locked(l, spc->spc_mutex));  in sched_lendpri()
1103 		KASSERT(lwp_locked(l, spc->spc_lwplock));  in sched_lendpri()
1107 		sched_resched_cpu(ci, spc->spc_maxpriority, true);  in sched_lendpri()