Constant ACRN_IOCTL_DEASSIGN_PCIDEV 

pub const ACRN_IOCTL_DEASSIGN_PCIDEV: u32 = 1076142678;