> > include/hw/arm/fsl-imx8mm.h | 7 +++++++
>
> > @@ -198,6 +201,10 @@ enum FslImx8mmIrqs {
> > FSL_IMX8MM_GPIO5_LOW_IRQ = 72,
> > FSL_IMX8MM_GPIO5_HIGH_IRQ = 73,
> >
> > + FSL_IMX8MM_WDOG1_IRQ = 78,
> > + FSL_IMX8MM_WDOG2_IRQ = 79,
> > + FSL_IMX8MM_WDOG3_IRQ = 10,
>
> Is this definitely 10, and not a typo for 80 ?
>
> > +
> > FSL_IMX8MM_PCI_INTA_IRQ = 122,
> > FSL_IMX8MM_PCI_INTB_IRQ = 123,
> > FSL_IMX8MM_PCI_INTC_IRQ = 124,
> > --
>
> otherwise
> Reviewed-by: Peter Maydell <[email protected]>
yes, this IRQ number is 10. It is not a typo.