Symbol: riscv_timer_intr
sys/arch/riscv/fdt/intc_fdt.c
352
riscv_timer_intr, NULL, "clock");
sys/arch/riscv/include/machdep.h
78
int riscv_timer_intr(void *arg);