oldspl             87 kern/thread/spl.c splraise(int oldspl, int newspl)
oldspl             92 kern/thread/spl.c 	KASSERT(oldspl == IPL_NONE);
oldspl            107 kern/thread/spl.c spllower(int oldspl, int newspl)
oldspl            112 kern/thread/spl.c 	KASSERT(oldspl == IPL_HIGH);