oldipl             84 kern/include/spl.h void splraise(int oldipl, int newipl);
oldipl             85 kern/include/spl.h void spllower(int oldipl, int newipl);