K_INT_WATCHDOG_TIMER_0
[K_INT_WATCHDOG_TIMER_0] = "wdog0",
WRITE_REG(cpu->sb1cpu_imr_base + SB1250_I_MAP(K_INT_WATCHDOG_TIMER_0), K_INT_MAP_NMI);
{ K_INT_WATCHDOG_TIMER_0, -1 },
#define M_INT_WATCHDOG_TIMER_0 _SB_MAKEMASK1(K_INT_WATCHDOG_TIMER_0)
[K_INT_WATCHDOG_TIMER_0] = "wdog0",
WRITE_REG(cpu->sb1cpu_imr_base + SB1250_I_MAP(K_INT_WATCHDOG_TIMER_0), K_INT_MAP_NMI);