Constant XEN_DOMINF_running 

pub const XEN_DOMINF_running: u32 = 32;