Resolved! What is the reset value of GPIOx_MODER?
According to RM0433 rev 5 section 10.4.1, the reset values are 0xABFFFFFF for port A, 0xFFFFFEBF for port B, and 0xFFFFFFFF for all the others. This appears to agree with the bits shown in the register table at the end of the chapter. However, in the...