They don't belong into the former.
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
#include <xen/lib.h>
#include <xen/mm.h>
#include <xen/irq.h>
+#include <xen/nmi.h>
#include <xen/delay.h>
#include <xen/time.h>
#include <xen/sched.h>
#include <xen/delay.h>
#include <xen/dmi.h>
#include <xen/irq.h>
+#include <xen/nmi.h>
#include <xen/console.h>
#include <xen/shutdown.h>
#include <xen/acpi.h>
#include <xen/spinlock.h>
#include <xen/serial.h>
#include <xen/irq.h>
+#include <xen/nmi.h>
#include <asm/debugger.h>
#include <xen/init.h>
#include <xen/smp.h>
#include <xen/ctype.h>
#include <xen/errno.h>
#include <xen/guest_access.h>
+#include <xen/nmi.h>
#include <xen/sched.h>
#include <xen/types.h>
#include <xen/kexec.h>
#include <xen/ctype.h>
#include <xen/perfc.h>
#include <xen/mm.h>
+#include <xen/nmi.h>
#include <xen/init.h>
#include <asm/debugger.h>
#include <asm/div64.h>
#include <xen/sched.h>
#include <xen/domain.h>
#include <xen/delay.h>
+#include <xen/nmi.h>
#include <xen/shutdown.h>
#include <xen/console.h>
#ifdef CONFIG_KEXEC
#include <xen/keyhandler.h>
#include <xen/delay.h>
#include <xen/guest_access.h>
+#include <xen/nmi.h>
#include <xen/shutdown.h>
#include <xen/video.h>
#include <xen/kexec.h>
#define ARCH_CRASH_SAVE_VMCOREINFO
-#ifndef __ASSEMBLY__
-extern void watchdog_disable(void);
-extern void watchdog_enable(void);
-extern void watchdog_setup(void);
-#endif
-
#endif /* __X86_CONFIG_H__ */
*/
long unregister_guest_nmi_callback(void);
+void watchdog_disable(void);
+void watchdog_enable(void);
+void watchdog_setup(void);
+
#endif /* ASM_NMI_H */