FFA_RET_SUCCESS
return res.a0 == FFA_SUCCESS ? FFA_RET_SUCCESS : res.a2;
ret = FFA_RET_SUCCESS;
if (ret == FFA_RET_SUCCESS) {