valgrind/vki/vki-xen-version.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_VERSION_H
0027 #define __VKI_XEN_VERSION_H
0028
0029 #define VKI_XENVER_version      0
0030 #define VKI_XENVER_extraversion 1
0031 #define VKI_XENVER_compile_info 2
0032 #define VKI_XENVER_capabilities 3
0033 #define VKI_XENVER_changeset 4
0034 #define VKI_XENVER_platform_parameters 5
0035 #define VKI_XENVER_get_features 6
0036 #define VKI_XENVER_pagesize 7
0037 #define VKI_XENVER_guest_handle 8
0038 #define VKI_XENVER_commandline 9
0039
0040 typedef char vki_xen_extraversion_t[16];
0041
0042 struct vki_xen_compile_info {
0043     char compiler[64];
0044     char compile_by[16];
0045     char compile_domain[32];
0046     char compile_date[32];
0047 };
0048
0049 typedef char vki_xen_capabilities_info_t[1024];
0050
0051 typedef char vki_xen_changeset_info_t[64];
0052
0053 struct vki_xen_platform_parameters {
0054     unsigned long virt_start;
0055 };
0056
0057 struct vki_xen_feature_info {
0058     unsigned int submap_idx;    /* IN: which 32-bit submap to return */
0059     vki_uint32_t     submap;        /* OUT: 32-bit submap */
0060 };
0061
0062 typedef char vki_xen_commandline_t[1024];
0063
0064 #endif // __VKI_XEN_VERSION_H
0065
0066 /*--------------------------------------------------------------------*/
0067 /*--- end                                                          ---*/
0068 /*--------------------------------------------------------------------*/