acrn-kernel/include/clocksource/timer-riscv.h