diff options
| author | Alex Williamson <alex.williamson@redhat.com> | 2012-10-02 13:22:01 -0600 |
|---|---|---|
| committer | Michael S. Tsirkin <mst@redhat.com> | 2012-10-29 17:59:06 +0200 |
| commit | 4774d7b258e0c4a6595a7b0bc6960c1751365bbf (patch) | |
| tree | 2542c4dde588314638a44d85407df156cc885230 | |
| parent | d6e65d54f0fa980f891aa3166d85b6ffd7d541eb (diff) | |
pci-assign: Use pci_intx_route_changed()
Replace open coded version
Signed-off-by: Alex Williamson <alex.williamson@redhat.com>
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
| -rw-r--r-- | hw/kvm/pci-assign.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/hw/kvm/pci-assign.c b/hw/kvm/pci-assign.c index bfffbab1b3..ab01205666 100644 --- a/hw/kvm/pci-assign.c +++ b/hw/kvm/pci-assign.c @@ -882,8 +882,7 @@ static int assign_intx(AssignedDevice *dev) intx_route = pci_device_route_intx_to_irq(&dev->dev, dev->intpin); assert(intx_route.mode != PCI_INTX_INVERTED); - if (dev->intx_route.mode == intx_route.mode && - dev->intx_route.irq == intx_route.irq) { + if (!pci_intx_route_changed(&dev->intx_route, &intx_route)) { return 0; } |