TRNG_SUCCESS
smccc_set_retval(vcpu, TRNG_SUCCESS, lower_32_bits(bits[1]),
smccc_set_retval(vcpu, TRNG_SUCCESS, bits[2], bits[1], bits[0]);
val = TRNG_SUCCESS;