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