Constant linux_raw_sys::ioctl::VFIO_DEVICE_IOEVENTFD

pub const VFIO_DEVICE_IOEVENTFD: u32 = 15220;