#include <linux/notifier.h>
+#ifdef CONFIG_X86_64
+
+extern enum reboot_types {
+ BOOT_BIOS = 'b',
+ BOOT_TRIPLE = 't',
+ BOOT_KBD = 'k',
+ BOOT_ACPI = 'a'
+} reboot_type;
+
+extern int reboot_override;
+
+#endif
+
extern int register_reboot_notifier(struct notifier_block *);
extern int unregister_reboot_notifier(struct notifier_block *);
extern void machine_restart(char *cmd);
extern void machine_halt(void);
extern void machine_power_off(void);
-
+extern void (*machine_reset)(void);
extern void machine_shutdown(void);
#endif