SVD errors on STM32H725, missing IRQ numbers
SVD version 1.2, vs RM0468 Rev 3
The SVD file is missing the following IRQ numbers
OTG_HS_EP1_OUT_IRQn = 74,
OTG_HS_EP1_IN_IRQn = 75,
OTG_HS_WKUP_IRQn = 76,
OTG_HS_IRQn = 77,
RNG_IRQn = 80,
BDMA_Channel0_IRQn = 129,
BDMA_Channel1_IRQn = 130,
BDMA_Channel2_IRQn = 131,
BDMA_Channel3_IRQn = 132,
BDMA_Channel4_IRQn = 133,
BDMA_Channel5_IRQn = 134,
BDMA_Channel6_IRQn = 135,
BDMA_Channel7_IRQn = 136,
ECC_IRQn = 145,
DTS_IRQn = 147,
UART9_IRQn = 155,
