scmi_clock_get_frequency
uint32_t scmi_clock_get_frequency(void *, uint32_t *);
sc->sc_cd.cd_get_frequency = scmi_clock_get_frequency;