/* * EVTCHNOP_send: Send an event to the remote end of the channel whose local * endpoint is <port>. */