2005-04-16 16:20:36 -06:00
|
|
|
/*
|
|
|
|
* linux/include/linux/nmi.h
|
|
|
|
*/
|
|
|
|
#ifndef LINUX_NMI_H
|
|
|
|
#define LINUX_NMI_H
|
|
|
|
|
2006-09-29 02:59:03 -06:00
|
|
|
#include <linux/sched.h>
|
2005-04-16 16:20:36 -06: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 02:59:03 -06:00
|
|
|
# define touch_nmi_watchdog() touch_softlockup_watchdog()
|
2005-04-16 16:20:36 -06:00
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif
|