K_INT_TIMER_0
#define M_INT_TIMER_0 _SB_MAKEMASK1(K_INT_TIMER_0)
unsigned int irq = K_INT_TIMER_0 + cpu;
do_IRQ(K_INT_TIMER_0 + cpu); /* sb1250_timer_interrupt() */