Symbol: mpfclock_get_frequency
sys/arch/riscv64/dev/mpfclock.c
151
sc->sc_cd.cd_get_frequency = mpfclock_get_frequency;
sys/arch/riscv64/dev/mpfclock.c
99
uint32_t mpfclock_get_frequency(void *, uint32_t *);