pub type __guest_handle_evtchn_port_t = *mut evtchn_port_t;