Constant XEN_DOMCTL_MONITOR_OP_DISABLE 

pub const XEN_DOMCTL_MONITOR_OP_DISABLE: u32 = 1;