KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_1
KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_1,
case KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_1: