Constant XEN_DOMCTL_DEV_PCI

pub const XEN_DOMCTL_DEV_PCI: u32 = 0;