Constant XEN_DOMCTL_ALTP2M_mixed

pub const XEN_DOMCTL_ALTP2M_mixed: u32 = 1;