xilinx_zynq: Fix wrong IRQ number of the second EHCI controller
PATCH 1/1 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 <[email protected]>
--- hw/xilinx_zynq.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
hw/xilinx_zynq.c +1 -1
@@ -167,7 +167,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 ]);
Signature · 1 line
1.7.9.5
Quoted 3 lines · Liming Wang
The IRQ number of the second EHCI controller should be 76, not 75.
Signed-off-by Liming Wang <[email protected]>
Tested-by Peter Crosthwaite <[email protected]>
Quoted 21 lines
--- hw/xilinx_zynq.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)hw/xilinx_zynq.c +1
-2@@ -167,7 +167,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 ]); --1.7.9.5