124 static void __sbi_set_timer_v01(uint64_t stime_value)  in __sbi_set_timer_v01()  argument
127 	sbi_ecall(SBI_EXT_0_1_SET_TIMER, 0, stime_value,  in __sbi_set_timer_v01()
128 		  stime_value >> 32, 0, 0, 0, 0);  in __sbi_set_timer_v01()
130 	sbi_ecall(SBI_EXT_0_1_SET_TIMER, 0, stime_value, 0, 0, 0, 0, 0);  in __sbi_set_timer_v01()
176 static void __sbi_set_timer_v01(uint64_t stime_value)  in __sbi_set_timer_v01()  argument
203 static void __sbi_set_timer_v02(uint64_t stime_value)  in __sbi_set_timer_v02()  argument
206 	sbi_ecall(SBI_EXT_TIME, SBI_EXT_TIME_SET_TIMER, stime_value,  in __sbi_set_timer_v02()
207 		  stime_value >> 32, 0, 0, 0, 0);  in __sbi_set_timer_v02()
209 	sbi_ecall(SBI_EXT_TIME, SBI_EXT_TIME_SET_TIMER, stime_value, 0,  in __sbi_set_timer_v02()
356 void sbi_set_timer(uint64_t stime_value)  in sbi_set_timer()  argument
358 	__sbi_set_timer(stime_value);  in sbi_set_timer()