head/sys/riscv/riscv/timer.c