Title: icmp_read()


icmp_read() repeatedly calls ip_read() until all the valid packets in the read queue of the icmp port's associated ip file descriptor have been processed.

icmp_read() is called during initialization and is also called after an icmp packet has been processed.