Searched refs:EXCEP_WDT (Results 1 – 6 of 6) sorted by relevance
62 EXCEP_WDT = 0x000240, /* watchdog timer overflow */ enumerator
51 __set_intr_stub(EXCEP_WDT, nmi_handler); in processor_init()
37 __set_intr_stub(EXCEP_WDT, nmi_handler); in processor_init()
88 set_intr_stub(EXCEP_WDT, watchdog_handler); in setup_watchdog()
90 [EXCEP_WDT >> 3] = { SIGALRM, 0 },
943 { EXCEP_WDT, SIGALRM },