pub const VFIO_DEVICE_IOEVENTFD_64: u32 = 8;