syswrap: XEN_HVMOP_set_isa_irq_level

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
CC: Ian Campbell <Ian.Campbell@citrix.com>
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13925 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/include/vki/vki-xen-hvm.h b/include/vki/vki-xen-hvm.h
index a64d4f3..be7f236 100644
--- a/include/vki/vki-xen-hvm.h
+++ b/include/vki/vki-xen-hvm.h
@@ -10,6 +10,14 @@
     vki_uint64_t value;    /* IN/OUT */
 };
 
+#define VKI_XEN_HVMOP_set_isa_irq_level 3
+struct vki_xen_hvm_set_isa_irq_level {
+    vki_xen_domid_t  domid;
+    vki_uint8_t  isa_irq;
+    vki_uint8_t  level;
+};
+typedef struct vki_xen_hvm_set_isa_irq_level vki_xen_hvm_set_isa_irq_level_t;
+
 #endif // __VKI_XEN_HVM_H
 
 /*--------------------------------------------------------------------*/