Constant XEN_DOMCTL_memory_mapping

pub const XEN_DOMCTL_memory_mapping: u32 = 39;