Constant XEN_DOMCTL_CDF_hvm

pub const XEN_DOMCTL_CDF_hvm: u32 = 1;