Title: eth_sendev()

When a message indicating a packet has been written by the ethernet task is received by the network service but the network service must complete another task first before handling this message, an event is placed in the event queue. When the network service eventually processes the event, eth_sendev() is called and it, in turn, calls write_int() to process any additional ethernet packets waiting to be sent out.