SBI_EXT_0_1_SET_TIMER
sbi_ecall(SBI_EXT_0_1_SET_TIMER, 0, stime_value, 0, 0, 0, 0, 0);
sbi_ecall(SBI_EXT_0_1_SET_TIMER, 0, stime_value,
if (cp->a7 >= SBI_EXT_0_1_SET_TIMER &&
.extid_start = SBI_EXT_0_1_SET_TIMER,
case SBI_EXT_0_1_SET_TIMER: