VFIO_DEVICE_GET_IRQ_INFO

Constant VFIO_DEVICE_GET_IRQ_INFO 

Source
pub const VFIO_DEVICE_GET_IRQ_INFO: u32 = 15213;