spllower           85 kern/include/spl.h void spllower(int oldipl, int newipl);
spllower          126 kern/thread/spinlock.c 	spllower(IPL_HIGH, IPL_NONE);
spllower          147 kern/thread/spl.c 		spllower(ret, spl);