Constant ACRN_IOCTL_IOEVENTFD

pub const ACRN_IOCTL_IOEVENTFD: u32 = 1075880560;