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