Searched refs:stime_value (Results 1 – 2 of 2) sorted by relevance
| /kernel/linux/linux-5.10/arch/riscv/kernel/ |
| D | sbi.c | 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
[all …]
|
| /kernel/linux/linux-5.10/arch/riscv/include/asm/ |
| D | sbi.h | 100 void sbi_set_timer(uint64_t stime_value);
151 void sbi_set_timer(uint64_t stime_value);
|