В даташитах на сам 51й я вообще не нашел внятной инструкции о том, как пересчитывать результаты измерения с учетом опорника, только сказано, что в такой-то ячейке лежит калибровочное значение, и все. В референсе на STM32L0x1 это расписано подробнее. Насколько я понял, калибровочное значение, это результат измерения опорного напряжения при VDDA = 3в. Сейчас я играюсь с STM32F0Dicovery, там напряжение питания как раз 3в (ну 2.95. не принципиально), калибровочное значение 1522, а по 17-му каналу вместо близкого значения я получаю число 1630! При этом на остальных входах АЦП все измеряется правильно. Что я не так делаю?

А у меня в даташите всё написано.

Вот даже не знаю, что ещё там нужно написать.


Это же очевидно: не читаете даташит.

это значит что VCC != 3.3V.
текущее VCC в милливольтах:
vref_mv = *(u16*)0x1FFFF7BA * 3300uL / 0x1000;
vcc_mv = vref_mv * 0xFFFuL / ADC_17;