valgrind/vki/vki-xen-schedop.h

0001 /*
0002    This file is part of Valgrind, a dynamic binary instrumentation
0003    framework.
0004
0005    Copyright (C) 2012-2017 Citrix
0006
0007    This program is free software; you can redistribute it and/or
0008    modify it under the terms of the GNU General Public License as
0009    published by the Free Software Foundation; either version 2 of the
0010    License, or (at your option) any later version.
0011
0012    This program is distributed in the hope that it will be useful, but
0013    WITHOUT ANY WARRANTY; without even the implied warranty of
0014    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
0015    General Public License for more details.
0016
0017    You should have received a copy of the GNU General Public License
0018    along with this program; if not, see <http://www.gnu.org/licenses/>.
0019
0020    The GNU General Public License is contained in the file COPYING.
0021 */
0022
0023 /* Contributed by Andrew Cooper <andrew.cooper3@citrix.com>
0024    and Ian Campbell <ian.campbell@citrix.com> */
0025
0026 #ifndef __VKI_XEN_SCHED_OP_H
0027 #define __VKI_XEN_SCHED_OP_H
0028
0029 #define VKI_XEN_SCHEDOP_yield           0
0030
0031 #define VKI_XEN_SCHEDOP_block           1
0032
0033 #define VKI_XEN_SCHEDOP_shutdown        2
0034
0035 #define VKI_XEN_SCHEDOP_poll            3
0036
0037 #define VKI_XEN_SCHEDOP_remote_shutdown 4
0038 struct vki_xen_remote_shutdown {
0039     vki_xen_domid_t domain_id;
0040     unsigned int reason;
0041 };
0042 typedef struct vki_xen_remote_shutdown vki_xen_remote_shutdown_t;
0043
0044 #define VKI_XEN_SCHEDOP_shutdown_code   5
0045
0046 #define VKI_XEN_SCHEDOP_watchdog        6
0047
0048 #endif /* __VKI_XEN_SCHED_OP_H */