Symbol: bcm2835_cpufreq_get_max_clock_rate