IPL_HIGH          179 kern/arch/mips/locore/trap.c 			curthread->t_curspl = IPL_HIGH;
IPL_HIGH          190 kern/arch/mips/locore/trap.c 			KASSERT(curthread->t_curspl == IPL_HIGH);
IPL_HIGH          105 kern/include/spl.h 	return splx(IPL_HIGH);
IPL_HIGH           77 kern/thread/spinlock.c 	splraise(IPL_NONE, IPL_HIGH);
IPL_HIGH          126 kern/thread/spinlock.c 	spllower(IPL_HIGH, IPL_NONE);
IPL_HIGH           93 kern/thread/spl.c 	KASSERT(newspl == IPL_HIGH);
IPL_HIGH          112 kern/thread/spl.c 	KASSERT(oldspl == IPL_HIGH);
IPL_HIGH          149 kern/thread/thread.c 	thread->t_curspl = IPL_HIGH;