splraise           84 kern/include/spl.h void splraise(int oldipl, int newipl);
splraise           77 kern/thread/spinlock.c 	splraise(IPL_NONE, IPL_HIGH);
splraise          139 kern/thread/spl.c 		splraise(cur->t_curspl, spl);