Tool/software:
In the reference manual, I can see that the LOAD register is generally 32 bit, with half of it reserved.
I am setting up a dma transfer that will iterate over an array, writing the values to the LOAD register of a timer.
So I wonder if there is anything bad in simply using uint32_t, or whether it would be somehow safer to aim for the 16 LSB with a uint16_t, leaving the reserved bits alone?