TRNG_RND64
ret = arm_smccc_invoke(TRNG_RND64, len * 8, &res);
ret = arm_smccc_invoke(TRNG_RND64, 192, &res);