__PRE_XEN_HVMOP_READ(get_param, struct vki_xen_hvm_param, index);
break;
+ case VKI_XEN_HVMOP_set_pci_intx_level:
+ PRE_XEN_HVMOP_READ(set_pci_intx_level, domid);
+ PRE_XEN_HVMOP_READ(set_pci_intx_level, domain);
+ PRE_XEN_HVMOP_READ(set_pci_intx_level, bus);
+ PRE_XEN_HVMOP_READ(set_pci_intx_level, device);
+ PRE_XEN_HVMOP_READ(set_pci_intx_level, level);
+ break;
+
case VKI_XEN_HVMOP_set_isa_irq_level:
PRE_XEN_HVMOP_READ(set_isa_irq_level, domid);
PRE_XEN_HVMOP_READ(set_isa_irq_level, isa_irq);
switch (op) {
case VKI_XEN_HVMOP_set_param:
+ case VKI_XEN_HVMOP_set_pci_intx_level:
case VKI_XEN_HVMOP_set_isa_irq_level:
case VKI_XEN_HVMOP_set_pci_link_route:
case VKI_XEN_HVMOP_set_mem_type:
vki_uint64_t value; /* IN/OUT */
};
+#define VKI_XEN_HVMOP_set_pci_intx_level 2
+struct vki_xen_hvm_set_pci_intx_level {
+ vki_xen_domid_t domid;
+ vki_uint8_t domain, bus, device, intx;
+ vki_uint8_t level;
+};
+typedef struct vki_xen_hvm_set_pci_intx_level vki_xen_hvm_set_pci_intx_level_t;
+
#define VKI_XEN_HVMOP_set_isa_irq_level 3
struct vki_xen_hvm_set_isa_irq_level {
vki_xen_domid_t domid;