Searched refs:SBI_EXT_0_1_SET_TIMER (Results 1 – 4 of 4) sorted by relevance
| /Linux-v6.1/arch/riscv/kvm/ |
| D | vcpu_sbi_v01.c | 39 case SBI_EXT_0_1_SET_TIMER: in kvm_sbi_ext_v01_handler()
115 .extid_start = SBI_EXT_0_1_SET_TIMER,
|
| D | vcpu_sbi.c | 138 if (cp->a7 >= SBI_EXT_0_1_SET_TIMER && in kvm_riscv_vcpu_sbi_ecall()
|
| /Linux-v6.1/arch/riscv/kernel/ |
| D | sbi.c | 153 sbi_ecall(SBI_EXT_0_1_SET_TIMER, 0, stime_value, in __sbi_set_timer_v01()
156 sbi_ecall(SBI_EXT_0_1_SET_TIMER, 0, stime_value, 0, 0, 0, 0, 0); in __sbi_set_timer_v01()
|
| /Linux-v6.1/arch/riscv/include/asm/ |
| D | sbi.h | 16 SBI_EXT_0_1_SET_TIMER = 0x0, enumerator
|
