Constant XEN_DOMCTL_vm_event_op 

pub const XEN_DOMCTL_vm_event_op: u32 = 56;