11#ifndef __XEN_PUBLIC_SCHED_H__
12#define __XEN_PUBLIC_SCHED_H__
14#include "event_channel.h"
29#define XEN_SCHEDOP_SHUTDOWN 2
44#define XEN_SHED_SHUTDOWN_POWEROFF 0
45#define XEN_SHED_SHUTDOWN_REBOOT 1
46#define XEN_SHED_SHUTDOWN_SUSPEND 2
47#define XEN_SHED_SHUTDOWN_CRASH 3
48#define XEN_SHED_SHUTDOWN_WATCHDOG 4