Symbol: timer_startclock
sys/arch/riscv64/riscv64/clock.c
39
void timer_startclock(void);
sys/arch/riscv64/riscv64/clock.c
60
void (*cpu_startclock_fcn)(void) = timer_startclock;
sys/arch/riscv64/riscv64/clock.c
96
if (cpu_startclock_fcn == timer_startclock) {