Symbol: mpfclock_set_frequency
sys/arch/riscv64/dev/mpfclock.c
100
int mpfclock_set_frequency(void *, uint32_t *, uint32_t);
sys/arch/riscv64/dev/mpfclock.c
152
sc->sc_cd.cd_set_frequency = mpfclock_set_frequency;