smccc_set_retval
smccc_set_retval(vcpu, val[0], val[1], val[2], val[3]);
smccc_set_retval(vcpu, val, 0, 0, 0);
smccc_set_retval(vcpu, val, 0, 0, 0);
smccc_set_retval(vcpu, val, 0, 0, 0);
smccc_set_retval(vcpu, val, 0, 0, 0);
smccc_set_retval(vcpu, SMCCC_RET_NOT_SUPPORTED, 0, 0, 0);
smccc_set_retval(vcpu, TRNG_INVALID_PARAMETER, 0, 0, 0);
smccc_set_retval(vcpu, TRNG_SUCCESS, lower_32_bits(bits[1]),
smccc_set_retval(vcpu, TRNG_SUCCESS, bits[2], bits[1], bits[0]);
smccc_set_retval(vcpu, le32_to_cpu(u[0]), le32_to_cpu(u[1]),
smccc_set_retval(vcpu, val, 0, 0, 0);