Title: write_int()

After the ethernet task sends off an ethernet packet, the task sends a message to the network service indicating success and write_int() is subsequently called. write_int() sets the etp_wr_pack field of the ethernet port to null and then calls eth_restart_write() to process any additional ethernet packets waiting to be sent out. If the ethernet packet just sent out is a multicast/broadcast packet or if the ethernet port is in promiscuous mode, eth_arrive() is called to place the packet in the read queue of the ethernet port.