SBI_ERR_NOT_SUPPORTED
case SBI_ERR_NOT_SUPPORTED:
sbiret = SBI_ERR_NOT_SUPPORTED;
sbiret = SBI_ERR_NOT_SUPPORTED;
sbiret = SBI_ERR_NOT_SUPPORTED;
run->riscv_sbi.ret[0] = SBI_ERR_NOT_SUPPORTED;
cp->a0 = SBI_ERR_NOT_SUPPORTED;
retdata->err_val = SBI_ERR_NOT_SUPPORTED;
return SBI_ERR_NOT_SUPPORTED;
return SBI_ERR_NOT_SUPPORTED;
ret = SBI_ERR_NOT_SUPPORTED;
ret = SBI_ERR_NOT_SUPPORTED;
ret = SBI_ERR_NOT_SUPPORTED;
retdata->err_val = SBI_ERR_NOT_SUPPORTED;
retdata->err_val = SBI_ERR_NOT_SUPPORTED;
retdata->err_val = SBI_ERR_NOT_SUPPORTED;
retdata->err_val = SBI_ERR_NOT_SUPPORTED;
retdata->err_val = SBI_ERR_NOT_SUPPORTED;
retdata->err_val = SBI_ERR_NOT_SUPPORTED;
retdata->err_val = SBI_ERR_NOT_SUPPORTED;
ret = SBI_ERR_NOT_SUPPORTED;
retdata->err_val = SBI_ERR_NOT_SUPPORTED;
retdata->err_val = SBI_ERR_NOT_SUPPORTED;
} else if (ret.error == SBI_ERR_NOT_SUPPORTED) {
if (ret.error != SBI_ERR_NOT_SUPPORTED)
__GUEST_ASSERT(!ret.error || ret.error == SBI_ERR_NOT_SUPPORTED,
if (ret.error == SBI_ERR_NOT_SUPPORTED)
GUEST_ASSERT_EQ(ret.error, SBI_ERR_NOT_SUPPORTED);