KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_1_NOT_AVAIL
#define KVM_REG_ARM_SMCCC_ARCH_WORKAROUND_1_NOT_AVAIL 0