Symbol: SBI_EXT_ID_TIME
sys/riscv/riscv/sbi.c
191
ret = SBI_CALL1(SBI_EXT_ID_TIME, SBI_TIME_SET_TIMER, val);
sys/riscv/riscv/sbi.c
315
if (sbi_probe_extension(SBI_EXT_ID_TIME) != 0)
sys/riscv/vmm/vmm_sbi.c
205
case SBI_EXT_ID_TIME:
usr.sbin/bhyve/riscv/vmexit.c
164
case SBI_EXT_ID_TIME: