The GTPR register is used in IrDA and Smartcard modes. UARTs have IrDA mode, but not Smartcard mode.

Currently only the stm32f413 UART defines the GTPR register:

https://stm32-rs.github.io/stm32-rs/stm32f/stm32f4/UART4_0x40004C00.html

This register appears to be required for IrDA (and certainly for IrDA low-power mode), so I think the omission is a documentation error.

I've checked that the IrDA-specific GTPR fields work as-expected on the f429 and f446 (by using an oscilloscope to observe the effect of writing different PSC values).

Whilst looking at this, I also noticed that the stm32f413 UART definition is derived directly from the USART1, so that it includes USART-specific fields which shouldn't be there, e.g.

https://stm32-rs.github.io/stm32-rs/stm32f/stm32f4/UART4_0x40004C00_CR2_0x0010.html

So I think the SVD patches required are:

• Add GTPR register definition to the UART peripheral (only adding the PSC field, not the USART-specific GT field).
• Fix the stm32f413 UART* definition so that it is not derived from a USART.

Does this sound correct?