Patchwork [for-1.4] xilinx_zynq: Fix wrong IRQ number of the second EHCI controller

login
register
mail settings
Submitter Peter Crosthwaite
Date Feb. 7, 2013, 6:58 a.m.
Message ID <9e856341-de62-43b0-af05-a8b867da7bbc@TX2EHSMHS042.ehs.local>
Download mbox | patch
Permalink /patch/218829/
State New
Headers show

Comments

Peter Crosthwaite - Feb. 7, 2013, 6:58 a.m.
From: Liming Wang <walimisdev@gmail.com>

The IRQ number of the second EHCI controller should be 76, not 75.

Signed-off-by: Liming Wang <walimisdev@gmail.com>
Tested-by: Peter Crosthwaite <peter.crosthwaite@petalogix.com>
---
 hw/xilinx_zynq.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
Anthony Liguori - Feb. 8, 2013, 6:57 p.m.
Applied.  Thanks.

Regards,

Anthony Liguori

Patch

diff --git a/hw/xilinx_zynq.c b/hw/xilinx_zynq.c
index 0ac33b5..311f791 100644
--- a/hw/xilinx_zynq.c
+++ b/hw/xilinx_zynq.c
@@ -168,7 +168,7 @@  static void zynq_init(QEMUMachineInitArgs *args)
     zynq_init_spi_flashes(0xE000D000, pic[51-IRQ_OFFSET], true);
 
     sysbus_create_simple("xlnx,ps7-usb", 0xE0002000, pic[53-IRQ_OFFSET]);
-    sysbus_create_simple("xlnx,ps7-usb", 0xE0003000, pic[75-IRQ_OFFSET]);
+    sysbus_create_simple("xlnx,ps7-usb", 0xE0003000, pic[76-IRQ_OFFSET]);
 
     sysbus_create_simple("cadence_uart", 0xE0000000, pic[59-IRQ_OFFSET]);
     sysbus_create_simple("cadence_uart", 0xE0001000, pic[82-IRQ_OFFSET]);