spl1
(void)spl1();
int spl1(void);
s = spl1();
int spl1, spl2;
spl1 = splbio();
if (spl2 != spl1) {
splx(spl1);