Type Definition xen_sys::evtchn_set_priority_t

pub type evtchn_set_priority_t = evtchn_set_priority;