1 #ifndef __VKI_XEN_SCHED_OP_H
2 #define __VKI_XEN_SCHED_OP_H
4 #define VKI_XEN_SCHEDOP_yield 0
6 #define VKI_XEN_SCHEDOP_block 1
8 #define VKI_XEN_SCHEDOP_shutdown 2
10 #define VKI_XEN_SCHEDOP_poll 3
12 #define VKI_XEN_SCHEDOP_remote_shutdown 4
14 #define VKI_XEN_SCHEDOP_shutdown_code 5
16 #define VKI_XEN_SCHEDOP_watchdog 6
18 #endif /* __VKI_XEN_SCHED_OP_H */