SCHED_ASSERT_LOCKED  156 sys/sched.h    #define	SCHED_ASSERT_LOCKED()	KASSERT(__mp_lock_held(&sched_lock))
SCHED_ASSERT_LOCKED  177 sys/sched.h    #define	SCHED_ASSERT_LOCKED()		splassert(IPL_SCHED);