Symbol: timer_trigger
sys/arch/riscv64/riscv64/clock.c
41
void timer_trigger(void *);
sys/arch/riscv64/riscv64/clock.c
45
.ic_trigger = timer_trigger