Symbol: riscv_timer_init
sys/arch/riscv/include/machdep.h
77
void riscv_timer_init(void);
sys/arch/riscv/riscv/clock_machdep.c
46
static void (*_riscv_timer_init)(void) = riscv_timer_init;
sys/arch/riscv/riscv/cpu.c
280
riscv_timer_init();