> @@ -696,7 +777,7 @@ int hvm_do_IRQ_dpci(struct domain *d, struct pirq *pirq) > struct hvm_irq_dpci *dpci = domain_get_irq_dpci(d); > struct hvm_pirq_dpci *pirq_dpci = pirq_dpci(pirq); > > - if ( !iommu_enabled || !dpci || !pirq_dpci || > + if ( !iommu_enabled || (!is_hardware_domain(d) && !dpci) || !pirq_dpci || > !(pirq_dpci->flags & HVM_IRQ_DPCI_MAPPED) ) > return 0;
We also need to return for !is_hvm_domain(d). -boris _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
