ARM_SMCCC_VERSION_1_1
val[0] = ARM_SMCCC_VERSION_1_1;
if (ret >= ARM_SMCCC_VERSION_1_1) {
if (smccc_version < ARM_SMCCC_VERSION_1_1)