Constant _XEN_DOMCTL_CDF_hap 

pub const _XEN_DOMCTL_CDF_hap: u32 = 1;