1/*
2   This file is part of Valgrind, a dynamic binary instrumentation
3   framework.
4
5   Copyright (C) 2012-2017 Citrix
6
7   This program is free software; you can redistribute it and/or
8   modify it under the terms of the GNU General Public License as
9   published by the Free Software Foundation; either version 2 of the
10   License, or (at your option) any later version.
11
12   This program is distributed in the hope that it will be useful, but
13   WITHOUT ANY WARRANTY; without even the implied warranty of
14   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15   General Public License for more details.
16
17   You should have received a copy of the GNU General Public License
18   along with this program; if not, write to the Free Software
19   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
20   02111-1307, USA.
21
22   The GNU General Public License is contained in the file COPYING.
23*/
24
25/* Contributed by Andrew Cooper <andrew.cooper3@citrix.com>
26   and Ian Campbell <ian.campbell@citrix.com> */
27
28#ifndef __VKI_XEN_SCHED_OP_H
29#define __VKI_XEN_SCHED_OP_H
30
31#define VKI_XEN_SCHEDOP_yield           0
32
33#define VKI_XEN_SCHEDOP_block           1
34
35#define VKI_XEN_SCHEDOP_shutdown        2
36
37#define VKI_XEN_SCHEDOP_poll            3
38
39#define VKI_XEN_SCHEDOP_remote_shutdown 4
40struct vki_xen_remote_shutdown {
41    vki_xen_domid_t domain_id;
42    unsigned int reason;
43};
44typedef struct vki_xen_remote_shutdown vki_xen_remote_shutdown_t;
45
46#define VKI_XEN_SCHEDOP_shutdown_code   5
47
48#define VKI_XEN_SCHEDOP_watchdog        6
49
50#endif /* __VKI_XEN_SCHED_OP_H */
51