Constant XEN_DOMCTL_GETDOMSTATE_STATE_EXIST 

pub const XEN_DOMCTL_GETDOMSTATE_STATE_EXIST: u32 = 1;