Symbol: todbq4802_get_cpufrequency