ARM_SMCCC_ARCH_WORKAROUND_3
mov w0, #ARM_SMCCC_ARCH_WORKAROUND_3
ARM_SMCCC_ARCH_WORKAROUND_3);
ARM_SMCCC_ARCH_WORKAROUND_3, &res);
case ARM_SMCCC_ARCH_WORKAROUND_3:
ARM_SMCCC_ARCH_WORKAROUND_3), ctx);