2005-04-17 05:20:36 +07:00
|
|
|
/*
|
|
|
|
* linux/include/linux/nmi.h
|
|
|
|
*/
|
|
|
|
#ifndef LINUX_NMI_H
|
|
|
|
#define LINUX_NMI_H
|
|
|
|
|
2006-09-29 15:59:03 +07:00
|
|
|
#include <linux/sched.h>
|
2005-04-17 05:20:36 +07:00
|
|
|
#include <asm/irq.h>
|
|
|
|
|
|
|
|
/**
|
|
|
|
* touch_nmi_watchdog - restart NMI watchdog timeout.
|
|
|
|
*
|
|
|
|
* If the architecture supports the NMI watchdog, touch_nmi_watchdog()
|
|
|
|
* may be used to reset the timeout - for code which intentionally
|
|
|
|
* disables interrupts for a long time. This call is stateless.
|
|
|
|
*/
|
|
|
|
#ifdef ARCH_HAS_NMI_WATCHDOG
|
|
|
|
extern void touch_nmi_watchdog(void);
|
|
|
|
#else
|
2006-09-29 15:59:03 +07:00
|
|
|
# define touch_nmi_watchdog() touch_softlockup_watchdog()
|
2005-04-17 05:20:36 +07:00
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif
|