Constant XEN_PCI_DEV_PXM

pub const XEN_PCI_DEV_PXM: u32 = 4;