Constant XEN_DOMCTL_debug_op

pub const XEN_DOMCTL_debug_op: u32 = 54;