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 
15 typedef char vki_xen_extraversion_t[16];
16 
17 struct 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 
24 typedef char vki_xen_capabilities_info_t[1024];
25 
26 typedef char vki_xen_changeset_info_t[64];
27 
28 struct vki_xen_platform_parameters {
29     unsigned long virt_start;
30 };
31 
32 struct 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 
37 typedef char vki_xen_commandline_t[1024];
38 
39 #endif // __VKI_XEN_VERSION_H
40 
41 /*--------------------------------------------------------------------*/
42 /*--- end                                                          ---*/
43 /*--------------------------------------------------------------------*/
44