/* Ethernet interface interrupt processor. */