pub type evtchn_bind_pirq_t = evtchn_bind_pirq;