Constant XEN_DOMCTL_MONITOR_EVENT_IO 

pub const XEN_DOMCTL_MONITOR_EVENT_IO: u32 = 13;