STM32H7 ADC_CR Boost bits
I am using NUCLEO_H723ZG in which I am using 12-bit resolution ADC. Below is the clock used for ADC:

Moreover, I have used DIV2 clock prescaler. So my BOOST bits in ADC_CR register should be 11 as it is mentioned in the reference manual.

I checked those BOOST bits while debugging and they are set 10 instead of 11.
So I assumed the clock frequency to be 50 MHz and checked all the condition. With that all condition the BOOST bits changes accordingly.
Although 64 MHz is shown there but the clock frequency used is 50 MHz?

