KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_2
KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_2,
case KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_2: