Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 422 | giacomo | 1 | /* |
| 2 | * linux/include/linux/nmi.h |
||
| 3 | */ |
||
| 4 | #ifndef LINUX_NMI_H |
||
| 5 | #define LINUX_NMI_H |
||
| 6 | |||
| 7 | #include <asm/irq.h> |
||
| 8 | |||
| 9 | /** |
||
| 10 | * touch_nmi_watchdog - restart NMI watchdog timeout. |
||
| 11 | * |
||
| 12 | * If the architecture supports the NMI watchdog, touch_nmi_watchdog() |
||
| 13 | * may be used to reset the timeout - for code which intentionally |
||
| 14 | * disables interrupts for a long time. This call is stateless. |
||
| 15 | */ |
||
| 16 | #ifdef ARCH_HAS_NMI_WATCHDOG |
||
| 17 | extern void touch_nmi_watchdog(void); |
||
| 18 | #else |
||
| 19 | # define touch_nmi_watchdog() do { } while(0) |
||
| 20 | #endif |
||
| 21 | |||
| 22 | #endif |