include/vki/vki-xen-schedop.h

   1 #ifndef __VKI_XEN_SCHED_OP_H
   2 #define __VKI_XEN_SCHED_OP_H
   3
   4 #define VKI_XEN_SCHEDOP_yield           0
   5
   6 #define VKI_XEN_SCHEDOP_block           1
   7
   8 #define VKI_XEN_SCHEDOP_shutdown        2
   9
  10 #define VKI_XEN_SCHEDOP_poll            3
  11
  12 #define VKI_XEN_SCHEDOP_remote_shutdown 4
  13 struct vki_xen_remote_shutdown {
  14     vki_xen_domid_t domain_id;
  15     unsigned int reason;
  16 };
  17 typedef struct vki_xen_remote_shutdown vki_xen_remote_shutdown_t;
  18
  19 #define VKI_XEN_SCHEDOP_shutdown_code   5
  20
  21 #define VKI_XEN_SCHEDOP_watchdog        6
  22
  23 #endif /* __VKI_XEN_SCHED_OP_H */