void rr_dev_reset (rr_dev dev) { empty_buffers (dev); rr_dev_log (dev, RR_DEBUG_MEDIUM, "reset dev size to zero\n"); rr_dev_reset_lineno (dev); dev->recvbuf_fill = 0; }
void rr_dev_free (rr_dev dev) { rr_dev_close (dev); empty_buffers (dev); free (dev->recvbuf); free (dev); }
void rr_free(rr_dev device) { empty_buffers(device); free(device->sentcache); free(device->recvbuf); free(device); }
void rr_reset(rr_dev device) { empty_buffers(device); rr_reset_lineno(device); }