Constant ACRN_IOCTL_RESET_PTDEV_INTR 

pub const ACRN_IOCTL_RESET_PTDEV_INTR: u32 = 1075094100;