Constant XEN_DOMCTL_DEV_DT

pub const XEN_DOMCTL_DEV_DT: u32 = 1;