Constant ACRN_IOCTL_ASSIGN_PCIDEV 

pub const ACRN_IOCTL_ASSIGN_PCIDEV: u32 = 1076142677;