[PATCH] pids: kill PIDTYPE_TGID
[linux-2.6] / include / linux / nmi.h
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