Remove build dependency on Xen header files - closes #308495
From: Ian Campbell <ian.campbell@citrix.com>
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13081 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/include/vki/vki-xen-memory.h b/include/vki/vki-xen-memory.h
new file mode 100644
index 0000000..7de8d33
--- /dev/null
+++ b/include/vki/vki-xen-memory.h
@@ -0,0 +1,46 @@
+#ifndef __VKI_XEN_MEMORY_H
+#define __VKI_XEN_MEMORY_H
+
+#define VKI_XENMEM_increase_reservation 0
+#define VKI_XENMEM_decrease_reservation 1
+#define VKI_XENMEM_maximum_ram_page 2
+#define VKI_XENMEM_current_reservation 3
+#define VKI_XENMEM_maximum_reservation 4
+#define VKI_XENMEM_machphys_mfn_list 5
+#define VKI_XENMEM_populate_physmap 6
+#define VKI_XENMEM_add_to_physmap 7
+#define VKI_XENMEM_memory_map 9
+#define VKI_XENMEM_machine_memory_map 10
+#define VKI_XENMEM_exchange 11
+#define VKI_XENMEM_machphys_mapping 12
+#define VKI_XENMEM_set_memory_map 13
+#define VKI_XENMEM_maximum_gpfn 14
+#define VKI_XENMEM_remove_from_physmap 15
+#define VKI_XENMEM_set_pod_target 16
+#define VKI_XENMEM_get_pod_target 17
+#define VKI_XENMEM_get_sharing_freed_pages 18
+#define VKI_XENMEM_get_sharing_shared_pages 19
+
+struct vki_xen_memory_map {
+ unsigned int nr_entries;
+ VKI_XEN_GUEST_HANDLE(void) buffer;
+};
+
+struct vki_xen_foreign_memory_map {
+ vki_xen_domid_t domid;
+ struct vki_xen_memory_map map;
+};
+
+struct xen_memory_reservation {
+ VKI_XEN_GUEST_HANDLE(vki_xen_pfn_t) extent_start;
+ vki_xen_ulong_t nr_extents;
+ unsigned int extent_order;
+ unsigned int mem_flags;
+ vki_xen_domid_t domid;
+};
+
+#endif // __VKI_XEN_MEMORY_H
+
+/*--------------------------------------------------------------------*/
+/*--- end ---*/
+/*--------------------------------------------------------------------*/