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-hvm.h b/include/vki/vki-xen-hvm.h
new file mode 100644
index 0000000..a64d4f3
--- /dev/null
+++ b/include/vki/vki-xen-hvm.h
@@ -0,0 +1,17 @@
+#ifndef __VKI_XEN_HVM_H
+#define __VKI_XEN_HVM_H
+
+/* Get/set subcommands: extra argument == pointer to xen_hvm_param struct. */
+#define VKI_XEN_HVMOP_set_param 0
+#define VKI_XEN_HVMOP_get_param 1
+struct vki_xen_hvm_param {
+ vki_xen_domid_t domid; /* IN */
+ vki_uint32_t index; /* IN */
+ vki_uint64_t value; /* IN/OUT */
+};
+
+#endif // __VKI_XEN_HVM_H
+
+/*--------------------------------------------------------------------*/
+/*--- end ---*/
+/*--------------------------------------------------------------------*/