S390_ARCH_FAC_MASK_SIZE_U64
__u64 fac_mask[S390_ARCH_FAC_MASK_SIZE_U64];
static_assert(ARRAY_SIZE(kvm_s390_fac_base) <= S390_ARCH_FAC_MASK_SIZE_U64);
static_assert(ARRAY_SIZE(kvm_s390_fac_ext) <= S390_ARCH_FAC_MASK_SIZE_U64);