diff mbox

xilinx_zynq: Fix wrong IRQ number of the second EHCI controller

Message ID 1354604368-17099-1-git-send-email-walimisdev@gmail.com
State New
Headers show

Commit Message

walimis Dec. 4, 2012, 6:59 a.m. UTC
The IRQ number of the second EHCI controller should be 76, not 75.

Signed-off-by: Liming Wang <walimisdev@gmail.com>
---
 hw/xilinx_zynq.c |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Comments

Peter Crosthwaite Dec. 5, 2012, 4:36 a.m. UTC | #1
On Tue, Dec 4, 2012 at 4:59 PM, Liming Wang <walimisdev@gmail.com> wrote:
> 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@xilinx.com>

> ---
>  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 1f12a3d..808de68 100644
> --- a/hw/xilinx_zynq.c
> +++ b/hw/xilinx_zynq.c
> @@ -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
>
>
diff mbox

Patch

diff --git a/hw/xilinx_zynq.c b/hw/xilinx_zynq.c
index 1f12a3d..808de68 100644
--- a/hw/xilinx_zynq.c
+++ b/hw/xilinx_zynq.c
@@ -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]);