SBI_ERR_ALREADY_STOPPED
sbiret = SBI_ERR_ALREADY_STOPPED;
sbiret = SBI_ERR_ALREADY_STOPPED;
} else if (ret.error && (ret.error != SBI_ERR_ALREADY_STOPPED) &&
__GUEST_ASSERT(ret.error == SBI_ERR_ALREADY_STOPPED,
__GUEST_ASSERT(ret.error == 0 || ret.error == SBI_ERR_ALREADY_STOPPED,