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