Constant XEN_DOMCTL_MONITOR_OP_ENABLE 

pub const XEN_DOMCTL_MONITOR_OP_ENABLE: u32 = 0;