Constant xen_sys::EVTCHNOP_set_priority

pub const EVTCHNOP_set_priority: u32 = 13;