Constant linux_raw_sys::ioctl::VFIO_DEVICE_GET_IRQ_INFO

pub const VFIO_DEVICE_GET_IRQ_INFO: u32 = 15213;