Constant XEN_DOMCTL_CDF_s3_integrity

pub const XEN_DOMCTL_CDF_s3_integrity: u32 = 4;