Calculating the actual VDDA voltage using the internal reference voltage
The VDDA power supply voltage applied to the microcontroller may be subject to variation or
not precisely known. The embedded internal voltage reference (VREFINT) and its calibration
data acquired by the ADC during the manufacturing process at VDDA = 3.3 V can be used to
evaluate the actual VDDA voltage level.
The following formula gives the actual VDDA voltage supplying the device:
VDDA = 3.3 V ₓ VREFINT_CAL / VREFINT_DATA
Where:
• VREFINT_CAL is the VREFINT calibration value
• VREFINT_DATA is the actual VREFINT output value converted by ADC

Данные из канала АЦП, вестимо (ADC1_IN17).
P.S. Я так понял, VREFINT_CAL есть только у L-серий. А у обычных F нужно это значение измерить.
Т.е. если, скажем, мерить с точностью до сотых вольты (только зачем?), то VDDA = X / CH17 → X = VDDA * CH17 (считать лучше в uint32_t).
Скажем, дает нам вольтметр 3.25В, а внутреннее опорное — 1540ADU, тогда X = 325*1540 = 500500, и в любой момент просто делим 500500 на данные с CH17, получая VDD.

VCHANNELx = 3.3 V * VREFINT_CAL * ADCx_DATA / VREFINT_DATA * FULL_SCALE

Where:
• VREFINT_CAL is the VREFINT calibration value
• ADCx_DATA is the value measured by the ADC on channel x (right-aligned)
• VREFINT_DATA is the actual VREFINT output value converted by the ADC
• FULL_SCALE is the maximum digital value of the ADC output. For example with 12-bit
resolution, it will be 212 - 1 = 4095 or with 8-bit resolution, 28 - 1 = 255.

VCHANNELx = 3.3 V * VREFINT_CAL * ADCx_DATA / VREFINT_DATA * FULL_SCALE

Очевидно же.
VREFINT_CAL - калибровка из ПЗУ.
VREFINT_DATA - измеренное на канале АЦП Vrefint
ADCx_DATA - измеренное на ином канале АЦП, результат именно этого измерения корректируется, приводится к вольтам и присваивается переменной VCHANNELx.

я могу передать его в функцию в качестве аргумента?

Это как хотите. Есть множество способов всё это организовать.
Кстати, что за нездоровое увлечение типом uint32_t? Есть отличный тип int - всего 3 буквы, и работает ничуть не хуже.

рекомендуют так - uint32_t, для портабилити

int он signed вообще то.

Это глупости и танцы с бубном. Какая такая портабилити кода, написанного для STM32? На другой STM32 он перенесётся и так, и эдак.
С другой стороны, я не настаиваю. Просто int короче. Ну и красивше, но это субъективное.

Ну и что? Почему-то это никому не мешает делать, к примеру, вот так:
for (int i = 0; i < 10000; i++)

только для L-серий? не знаю, у меня в STM32F303VCT6 есть ADC1->CALFACT.

int он signed вообще то.

кстати. VREFINT_DATA он ведь общий для ADC1 и ADC2. то есть мне достаточно померять на ADC1?

Прошу прощения, что нечаянно набросил про int. Боюсь, снова начнётся хождение между трёх сосен, как это здесь часто бывает
Так точно.

ADC1->CALFACT; //получаем 58

Здрассте, приехали.
ADC1->CALFACT - это совсем не то.
Заводская калибровка - это *(uint16_t*)0x1FF80078, если эта штука вообще присутствует в вашем МК.