Constant VFIO_DEVICE_SET_IRQS 

pub const VFIO_DEVICE_SET_IRQS: u32 = 15214;