pub type evtchn_expand_array_t = evtchn_expand_array;