Symbol: rpiclock_set_frequency
sys/arch/arm64/dev/rpiclock.c
191
int rpiclock_set_frequency(void *, uint32_t *, uint32_t);
sys/arch/arm64/dev/rpiclock.c
231
sc->sc_cd.cd_set_frequency = rpiclock_set_frequency;