IPL_NONE           98 kern/include/spl.h 	return splx(IPL_NONE);
IPL_NONE           77 kern/thread/spinlock.c 	splraise(IPL_NONE, IPL_HIGH);
IPL_NONE          126 kern/thread/spinlock.c 	spllower(IPL_HIGH, IPL_NONE);
IPL_NONE           92 kern/thread/spl.c 	KASSERT(oldspl == IPL_NONE);
IPL_NONE          113 kern/thread/spl.c 	KASSERT(newspl == IPL_NONE);