Re: [Xen-devel] [PATCH v4 3/4] x86/pt: enable binding of GSIs to a PVH Dom0

2017-06-02 Thread Boris Ostrovsky
On 06/02/2017 04:41 AM, Roger Pau Monne wrote: > On Thu, Jun 01, 2017 at 06:13:22PM -0400, Boris Ostrovsky wrote: >>> @@ -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 =

Re: [Xen-devel] [PATCH v4 3/4] x86/pt: enable binding of GSIs to a PVH Dom0

2017-06-02 Thread Roger Pau Monne
On Thu, Jun 01, 2017 at 06:13:22PM -0400, Boris Ostrovsky wrote: > > > @@ -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_en

Re: [Xen-devel] [PATCH v4 3/4] x86/pt: enable binding of GSIs to a PVH Dom0

2017-06-01 Thread Boris Ostrovsky
> @@ -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_d