diff options
| author | Liming Wang <walimisdev@gmail.com> | 2013-02-07 16:58:15 +1000 |
|---|---|---|
| committer | Anthony Liguori <aliguori@us.ibm.com> | 2013-02-08 11:14:20 -0600 |
| commit | 70ef6a5b7121cb54d7f9713d6315fb8547761bfc (patch) | |
| tree | e7a1c1117e2d4db868d96439bd0776ad0ec54efc | |
| parent | fb6d1bbd246c7a57ef53d3847ef225cd1349d602 (diff) | |
xilinx_zynq: Fix wrong IRQ number of the second EHCI controller
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>
Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
| -rw-r--r-- | hw/xilinx_zynq.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hw/xilinx_zynq.c b/hw/xilinx_zynq.c index 0ac33b5dab..311f791833 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]); |