Constant _XEN_DOMINF_running 

pub const _XEN_DOMINF_running: u32 = 5;