overlay_io_done
overlay_io_done(odd, OVERLAY_F_IN_TX);
overlay_io_done(odd, OVERLAY_F_IN_RX);
overlay_io_done(odd, OVERLAY_F_IN_RX);
extern void overlay_io_done(overlay_dev_t *, overlay_dev_flag_t);