sc_spl            256 dev/usb/ukbd.c 	int sc_spl;
sc_spl            875 dev/usb/ukbd.c 		sc->sc_spl = splusb();
sc_spl            878 dev/usb/ukbd.c 		splx(sc->sc_spl);