SVD errors on STM32H725, missing IRQ numbers

[JOlso.1]

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,

[Tesla DeLorean]

Cross-linking for my own entertainment...

https://community.st.com/s/question/0D53W00001gwAjUSAU/svd-errors-on-stm32h725-usb2

[Tesla DeLorean]

https://community.st.com/s/question/0D53W00001gw9sQSAQ/svd-error-on-dmamux

[KDJEM.1]

Hi @JOlso.1​ ,

Thank you for bringing this issue our attention.

I reported this issue internally. 

Internal ticket number: 133103 (This is an internal tracking number and is not accessible or usable by customers).

Kaouthar