ARM_SMCCC_ARCH_WORKAROUND_2
ARM_SMCCC_ARCH_WORKAROUND_2, &res);
arm_smccc_1_1_invoke(ARM_SMCCC_ARCH_WORKAROUND_2, false, NULL);
arm_smccc_1_1_invoke(ARM_SMCCC_ARCH_WORKAROUND_2, true, NULL);
case ARM_SMCCC_ARCH_WORKAROUND_2: