spl0
(void)spl0();
(void)spl0();
spl0();
spl0();
(void)spl0();
(void)spl0();
(void)spl0();
spl0();
spl0(); /* enable all source forcing SOFT_INTs cleared */
(void)spl0();
spl0();
spl0();
(void)spl0();
(void)spl0();
spl0();
spl0();
spl0();
spl0();
spl0();
spl0();
spl0();
(void)spl0();
spl0();
spl0();
(void)spl0();
(void)spl0();
spl0(); /* enable all source forcing SOFT_INTs cleared */
spl0();
spl0();
spl0();
spl0();
spl0();
spl0();
spl0();
int spl0(void);
(void)spl0();
(void)spl0();
void spl0(void);
spl0(); /* allow interrupts e.g. further ipi ? */
spl0();
spl0();
void spl0(void) __section(".stub");
spl0(); /* safe to turn interrupts on now */
spl0();
(void)spl0();
(void) spl0();
spl0(); /* enable all source forcing SOFT_INTs cleared */
spl0();
spl0();
spl0(); /* enable all source forcing SOFT_INTs cleared */
void spl0(void);
spl0();
spl0(void)
spl0(); /* allow interrupts e.g. further ipi ? */
void spl0(void);
spl0();
spl0(); /* allow interrupts e.g. further ipi ? */
spl0();
spl0();
spl0();
(void)spl0();
spl0();
spl0();
SPL(spl0, 0)
(void)spl0();
spl0();
spl0();
(void)spl0();
(void)spl0();
spl0();
spl0();
spl0();
#define splnone() spl0()
(void) spl0();
spl0();
spl0();
spl0();
spl0();
spl0();
(void)spl0();