Constant XEN_DOMCTL_CDF_MAX

pub const XEN_DOMCTL_CDF_MAX: u32 = 128;