K_INT_WATCHDOG_TIMER_1
[K_INT_WATCHDOG_TIMER_1] = "wdog1",
WRITE_REG(cpu->sb1cpu_imr_base + SB1250_I_MAP(K_INT_WATCHDOG_TIMER_1), K_INT_MAP_NMI);
if (num <= K_INT_WATCHDOG_TIMER_1)
{ K_INT_WATCHDOG_TIMER_1, -1 },
#define M_INT_WATCHDOG_TIMER_1 _SB_MAKEMASK1(K_INT_WATCHDOG_TIMER_1)
[K_INT_WATCHDOG_TIMER_1] = "wdog1",
WRITE_REG(cpu->sb1cpu_imr_base + SB1250_I_MAP(K_INT_WATCHDOG_TIMER_1), K_INT_MAP_NMI);
if (num <= K_INT_WATCHDOG_TIMER_1)