Symbol: sfclock_get_frequency
sys/arch/riscv64/dev/sfclock.c
114
sc->sc_cd.cd_get_frequency = sfclock_get_frequency;
sys/arch/riscv64/dev/sfclock.c
154
return sfclock_get_frequency(sc, &idx) / div;
sys/arch/riscv64/dev/sfclock.c
78
uint32_t sfclock_get_frequency(void *, uint32_t *);