SBI_SET_TIMER      56 arch/riscv/include/asm/sbi.h 	SBI_CALL_2(SBI_SET_TIMER, stime_value, stime_value >> 32);
SBI_SET_TIMER      58 arch/riscv/include/asm/sbi.h 	SBI_CALL_1(SBI_SET_TIMER, stime_value);