blob: dfaf7c07e0daee93299c4f8f1c19b63e2405d39c [file] [log] [blame]
sewardj35130ac2015-09-01 13:32:21 +00001/*
2 This file is part of Valgrind, a dynamic binary instrumentation
3 framework.
4
Elliott Hughesed398002017-06-21 14:41:24 -07005 Copyright (C) 2012-2017 Citrix
sewardj35130ac2015-09-01 13:32:21 +00006
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
bart51e61da2012-10-23 18:03:28 +000028#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
42typedef char vki_xen_extraversion_t[16];
43
44struct 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
51typedef char vki_xen_capabilities_info_t[1024];
52
53typedef char vki_xen_changeset_info_t[64];
54
55struct vki_xen_platform_parameters {
56 unsigned long virt_start;
57};
58
59struct 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
64typedef char vki_xen_commandline_t[1024];
65
66#endif // __VKI_XEN_VERSION_H
67
68/*--------------------------------------------------------------------*/
69/*--- end ---*/
70/*--------------------------------------------------------------------*/