Constant XEN_DOMCTL_mem_sharing_op 

pub const XEN_DOMCTL_mem_sharing_op: u32 = 57;