Symbol: rv6xx_calculate_vco_frequency