Constant XEN_DOMCTL_CDF_s3_integrity 

pub const XEN_DOMCTL_CDF_s3_integrity: u32 = 4;