pub const KVM_S390_INT_PFAULT_INIT: u32 = 4294836228;