Symbol: mpfclock_cpureset
sys/arch/riscv64/dev/mpfclock.c
102
void mpfclock_cpureset(void);
sys/arch/riscv64/dev/mpfclock.c
156
cpuresetfn = mpfclock_cpureset;