spl0              696 bsp/drv/dev/base/kd.c 	s = spl0();
spl0              129 bsp/drv/include/dki.h int	 spl0(void);
spl0               79 bsp/hal/arm/gba/clock.c 	spl0();
spl0               78 bsp/hal/arm/integrator/clock.c 	spl0();
spl0              138 bsp/hal/x86/arch/trap.c 		spl0();
spl0              119 sys/include/hal.h int	  spl0(void);
spl0               85 sys/kern/device.c 	/* 11 */ DKIENT(spl0),
spl0              175 sys/kern/irq.c 		spl0();
spl0              261 sys/kern/irq.c 	spl0();
spl0              702 sys/kern/sched.c 			spl0();
spl0              367 sys/kern/timer.c 			spl0();