pub type evtchn_set_priority_t = evtchn_set_priority;
struct evtchn_set_priority_t { pub port: u32, pub priority: u32, }
port: u32
priority: u32