-
to the device pool, to avoid crashes when a socket is destroyed while it has buffers queued in the device transmit ring. This is a consequence of commit 45474093, buffers from the socket pool no longer prevent the socket from being destroyed. At this chance, rename the device pool "rx_pool" to "dev_pool", as it is now also used for transmission.
91b33022