pub type __guest_handle_evtchn_op_t = *mut evtchn_op_t;