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