RISC-V timer-related functionality
get current time
get current time in microseconds
set the next timer interrupt