stime_value        53 arch/riscv/include/asm/sbi.h static inline void sbi_set_timer(uint64_t stime_value)
stime_value        56 arch/riscv/include/asm/sbi.h 	SBI_CALL_2(SBI_SET_TIMER, stime_value, stime_value >> 32);
stime_value        58 arch/riscv/include/asm/sbi.h 	SBI_CALL_1(SBI_SET_TIMER, stime_value);