Constant XEN_DOMCTL_monitor_op

pub const XEN_DOMCTL_monitor_op: u32 = 77;