-void pinsched_send(struct pinsched *, uint16_t port_no, struct ofpbuf *,
- pinsched_tx_cb *, void *aux);
-void pinsched_run(struct pinsched *, pinsched_tx_cb *, void *aux);
+void pinsched_send(struct pinsched *, ofp_port_t port_no, struct ofpbuf *,
+ struct list *txq);
+void pinsched_run(struct pinsched *, struct list *txq);