Title: eth_recvev()

When a message from the ethernet task indicating a received packet is received by the network service but the network service must complete another task first, an event is placed in the event queue. When the network service eventually processes the event, eth_recvev() is called and it, in turn, calls read_int() to process the packet.