bart | 51e61da | 2012-10-23 18:03:28 +0000 | [diff] [blame] | 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 | /*--------------------------------------------------------------------*/ |