Constant ACRN_IOCTL_IRQFD 

pub const ACRN_IOCTL_IRQFD: u32 = 1075356273;