1#ifndef __VKI_XEN_VERSION_H
2#define __VKI_XEN_VERSION_H
3
4#define VKI_XENVER_version      0
5#define VKI_XENVER_extraversion 1
6#define VKI_XENVER_compile_info 2
7#define VKI_XENVER_capabilities 3
8#define VKI_XENVER_changeset 4
9#define VKI_XENVER_platform_parameters 5
10#define VKI_XENVER_get_features 6
11#define VKI_XENVER_pagesize 7
12#define VKI_XENVER_guest_handle 8
13#define VKI_XENVER_commandline 9
14
15typedef char vki_xen_extraversion_t[16];
16
17struct vki_xen_compile_info {
18    char compiler[64];
19    char compile_by[16];
20    char compile_domain[32];
21    char compile_date[32];
22};
23
24typedef char vki_xen_capabilities_info_t[1024];
25
26typedef char vki_xen_changeset_info_t[64];
27
28struct vki_xen_platform_parameters {
29    unsigned long virt_start;
30};
31
32struct vki_xen_feature_info {
33    unsigned int submap_idx;    /* IN: which 32-bit submap to return */
34    vki_uint32_t     submap;        /* OUT: 32-bit submap */
35};
36
37typedef char vki_xen_commandline_t[1024];
38
39#endif // __VKI_XEN_VERSION_H
40
41/*--------------------------------------------------------------------*/
42/*--- end                                                          ---*/
43/*--------------------------------------------------------------------*/
44