1/*
2   This file is part of Valgrind, a dynamic binary instrumentation
3   framework.
4
5   Copyright (C) 2012-2015 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
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/*--------------------------------------------------------------------*/
71