From 70ef6a5b7121cb54d7f9713d6315fb8547761bfc Mon Sep 17 00:00:00 2001 From: Liming Wang Date: Thu, 7 Feb 2013 16:58:15 +1000 Subject: [PATCH] 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 Tested-by: Peter Crosthwaite Signed-off-by: Anthony Liguori --- hw/xilinx_zynq.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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]); -- 2.11.0