Constant XEN_PROCESSOR_PM_TX

pub const XEN_PROCESSOR_PM_TX: u32 = 4;