ARM, RISC-V контроллеры

Может с установками PLL что-то не так, и реально SYSCLK не на той частоте? В примерах STM есть файл с установками PLL system_stm32fхxx.c. Установка PLL  PLL_VCO = (HSE_VALUE or HSI_VALUE / PLL_M) * PLL_N SYSCLK = PLL_VCO / PLL_P