Title: read_int()


After processing all of the ethernet packets that have been received by the ethernet task, setup_read() leaves behind a buffer in the ethernet port's etp_rd_pack field. When the ethernet task eventually receives another ethernet packet, the ethernet task copies the packet to this buffer and sends a message to the network service. This message prompts eth_rec() to be called, which then calls read_int().

read_int() simply passes the packet off to eth_arrive() to be processed and then calls setup_read() to either handle additional ethernet packets that have arrived or to set up another buffer in etp_rd_pack.