In article <87g0qou0zk.fsf@mail.netbsd.org> you write:
>Looking through some code, I've noticed that spllowersoftclock() and
>spl0() -- IPL-lowering functions -- return 'int'.  splx(), on the
>other hand (the other IPL-lowering function), returns void.  in one
>place, the return value of spl0() is actually used as the argument to
>splx().
[...]
>I've updated the spl(9) manual page to indicate that the IPL-lowering
>functions return 'void.'  I've not changed any ports at this time.
>Rather, I expect them to be updated over time.

The manual page seems to be uncertain about whether splx() is ever used to
raise priority.  I'd assume that it isn't, but it'd be nice for it to be
confirmed by Someone Who Knows.

-- 
Ben Harris