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 (at) citrix.com> 26 and Ian Campbell <ian.campbell (at) 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 40 struct vki_xen_remote_shutdown { 41 vki_xen_domid_t domain_id; 42 unsigned int reason; 43 }; 44 typedef 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
