port_push_eventq
port_push_eventq(portq);
port_push_eventq(portq);
port_push_eventq(portq);
port_push_eventq(portq); /* empty temporary queue */
port_push_eventq(portq);
port_push_eventq(portq);
void port_push_eventq(port_queue_t *);