ARM_SMCCC_ARCH_WORKAROUND_1
ARM_SMCCC_ARCH_WORKAROUND_1, &res);
arm_smccc_1_1_smc(ARM_SMCCC_ARCH_WORKAROUND_1, NULL);
arm_smccc_1_1_hvc(ARM_SMCCC_ARCH_WORKAROUND_1, NULL);
ARM_SMCCC_ARCH_WORKAROUND_1, &res);
arm_smccc_1_1_smc(ARM_SMCCC_ARCH_WORKAROUND_1, NULL);
arm_smccc_1_1_hvc(ARM_SMCCC_ARCH_WORKAROUND_1, NULL);
case ARM_SMCCC_ARCH_WORKAROUND_1:
r = __set_smccc_filter(vm, ARM_SMCCC_ARCH_WORKAROUND_1,