Title: udp write path


For a write to a udp device (e.g., /dev/udp), the code takes the following path: 


sr_rwio()

  udp_write()

    restart_write_fd()

      ip_write()

        ip_send()

          if (packet is destined to a system on the local ethernet network) {

            ipeth_send()

              if (no previous packet being processed by ethernet task)

                eth_send()

                  if (eth_send() can't immediately send packet) 

                    eth_write()

          }

          else if (packet must be routed)

            oroute_frag()

          else if (packet ist destined for a local destination)

            ev_enqueue()