Symbol: clock_intr
sys/arch/riscv64/riscv64/clock.c
101
clock_intr, NULL, NULL);
sys/arch/riscv64/riscv64/clock.c
61
int clock_intr(void *);