S390_ARCH_FAC_MASK_SIZE_U64
__u64 fac_mask[S390_ARCH_FAC_MASK_SIZE_U64];
BUILD_BUG_ON(SIZE_INTERNAL > S390_ARCH_FAC_MASK_SIZE_U64);