/*
   *  linux/include/linux/nmi.h
   */
  #ifndef LINUX_NMI_H
  #define LINUX_NMI_H
  
  #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
  # define touch_nmi_watchdog() do { } while(0)
  #endif
  
  #endif