Symbol: riscv_timer_frequency_get
sys/arch/riscv/include/machdep.h
72
riscv_timer_frequency_get(void); // which header?
sys/arch/riscv/riscv/cpu.c
185
ci->ci_cpu_freq = riscv_timer_frequency_get();
sys/arch/riscv/riscv/cpu.c
278
ci->ci_cpu_freq = riscv_timer_frequency_get();