pub type evtchn_init_control_t = evtchn_init_control;