pub type evtchn_bind_virq_t = evtchn_bind_virq;