I use STM32H742 rev V. In contrast to rev Y register ADCx->CR has two bits BOOST. I set both, because I want the highest ADC speed. But reading ADCx->CR back, with the debugger or in the running program reports only BOOST 0 set. What is wrong there or did I miss something? ADC seems to run fine at 3.8 Msps.
It is in the reference manual RM0433 rev 6, chapter 24.6.3. holds the description of register ADCx->CR and there are two sections, one for rev Y and one for rev V.
