pub const KVM_S390_INT_VIRTIO: u32 = 4294911491;