139 static void __sbi_set_timer_v01(uint64_t stime_value)  in __sbi_set_timer_v01()  argument
142 	sbi_ecall(SBI_EXT_0_1_SET_TIMER, 0, stime_value,  in __sbi_set_timer_v01()
143 		  stime_value >> 32, 0, 0, 0, 0);  in __sbi_set_timer_v01()
145 	sbi_ecall(SBI_EXT_0_1_SET_TIMER, 0, stime_value, 0, 0, 0, 0, 0);  in __sbi_set_timer_v01()
197 static void __sbi_set_timer_v01(uint64_t stime_value)  in __sbi_set_timer_v01()  argument
222 static void __sbi_set_timer_v02(uint64_t stime_value)  in __sbi_set_timer_v02()  argument
225 	sbi_ecall(SBI_EXT_TIME, SBI_EXT_TIME_SET_TIMER, stime_value,  in __sbi_set_timer_v02()
226 		  stime_value >> 32, 0, 0, 0, 0);  in __sbi_set_timer_v02()
228 	sbi_ecall(SBI_EXT_TIME, SBI_EXT_TIME_SET_TIMER, stime_value, 0,  in __sbi_set_timer_v02()
351 void sbi_set_timer(uint64_t stime_value)  in sbi_set_timer()  argument
353 	__sbi_set_timer(stime_value);  in sbi_set_timer()