Constant XEN_DOMCTL_DEV_RDM_RELAXED 

pub const XEN_DOMCTL_DEV_RDM_RELAXED: u32 = 1;