Searched refs:stime_value (Results 1 – 2 of 2) sorted by relevance
| /openbmc/linux/arch/riscv/kernel/ |
| H A D | sbi.c | 140 static void __sbi_set_timer_v01(uint64_t stime_value) in __sbi_set_timer_v01() argument
143 sbi_ecall(SBI_EXT_0_1_SET_TIMER, 0, stime_value, in __sbi_set_timer_v01()
144 stime_value >> 32, 0, 0, 0, 0); in __sbi_set_timer_v01()
146 sbi_ecall(SBI_EXT_0_1_SET_TIMER, 0, stime_value, 0, 0, 0, 0, 0); in __sbi_set_timer_v01()
198 static void __sbi_set_timer_v01(uint64_t stime_value) in __sbi_set_timer_v01() argument
223 static void __sbi_set_timer_v02(uint64_t stime_value) in __sbi_set_timer_v02() argument
226 sbi_ecall(SBI_EXT_TIME, SBI_EXT_TIME_SET_TIMER, stime_value, in __sbi_set_timer_v02()
227 stime_value >> 32, 0, 0, 0, 0); in __sbi_set_timer_v02()
229 sbi_ecall(SBI_EXT_TIME, SBI_EXT_TIME_SET_TIMER, stime_value, 0, in __sbi_set_timer_v02()
352 void sbi_set_timer(uint64_t stime_value) in sbi_set_timer() argument
[all …]
|
| /openbmc/linux/arch/riscv/include/asm/ |
| H A D | sbi.h | 272 void sbi_set_timer(uint64_t stime_value);
|