pub type evtchn_alloc_unbound_t = evtchn_alloc_unbound;