do_eth_read(ip_port) repeatedly calls eth_read() until all of the ethernet packets in the read queue of the ethernet file descriptor associated with the ip port ip_port, do_eth_read()'s only parameter, have been passed up to the ip layer.
