1 #ifndef __XEN_SHUTDOWN_H__
2 #define __XEN_SHUTDOWN_H__
3 
4 #include <xen/compiler.h>
5 #include <xen/types.h>
6 
7 /* opt_noreboot: If true, machine will need manual reset on error. */
8 extern bool opt_noreboot;
9 
10 void noreturn hwdom_shutdown(unsigned char reason);
11 
12 void noreturn machine_restart(unsigned int delay_millisecs);
13 void noreturn machine_halt(void);
14 
15 #endif /* __XEN_SHUTDOWN_H__ */
16