Symbol: riscv_timer_frequency_set
sys/arch/riscv/fdt/cpus_fdt.c
54
riscv_timer_frequency_set(tbfreq);
sys/arch/riscv/include/machdep.h
70
void riscv_timer_frequency_set(uint32_t); // which header?