Searched refs:stime_value (Results 1 – 1 of 1) sorted by relevance
53 static inline void sbi_set_timer(uint64_t stime_value) in sbi_set_timer() argument56 SBI_CALL_2(SBI_SET_TIMER, stime_value, stime_value >> 32); in sbi_set_timer()58 SBI_CALL_1(SBI_SET_TIMER, stime_value); in sbi_set_timer()
