rpiclock_get_pll_frequency
return rpiclock_get_pll_frequency(sc, PLL_SYS_CS);
return rpiclock_get_pll_frequency(sc, PLL_AUDIO_CS);
return rpiclock_get_pll_frequency(sc, PLL_SYS_CS) / 2;