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_VERSION_H 29 #define __VKI_XEN_VERSION_H 30 31 #define VKI_XENVER_version 0 32 #define VKI_XENVER_extraversion 1 33 #define VKI_XENVER_compile_info 2 34 #define VKI_XENVER_capabilities 3 35 #define VKI_XENVER_changeset 4 36 #define VKI_XENVER_platform_parameters 5 37 #define VKI_XENVER_get_features 6 38 #define VKI_XENVER_pagesize 7 39 #define VKI_XENVER_guest_handle 8 40 #define VKI_XENVER_commandline 9 41 42 typedef char vki_xen_extraversion_t[16]; 43 44 struct vki_xen_compile_info { 45 char compiler[64]; 46 char compile_by[16]; 47 char compile_domain[32]; 48 char compile_date[32]; 49 }; 50 51 typedef char vki_xen_capabilities_info_t[1024]; 52 53 typedef char vki_xen_changeset_info_t[64]; 54 55 struct vki_xen_platform_parameters { 56 unsigned long virt_start; 57 }; 58 59 struct vki_xen_feature_info { 60 unsigned int submap_idx; /* IN: which 32-bit submap to return */ 61 vki_uint32_t submap; /* OUT: 32-bit submap */ 62 }; 63 64 typedef char vki_xen_commandline_t[1024]; 65 66 #endif // __VKI_XEN_VERSION_H 67 68 /*--------------------------------------------------------------------*/ 69 /*--- end ---*/ 70 /*--------------------------------------------------------------------*/ 71