/* Convert an u32_t from host- to network byte order. */
u32_t lwip_htonl(u32_t n)
/* Convert an u32_t from host- to network byte order. */
u32_t lwip_htonl(u32_t n)
{
  return ((n & 0xff) << 24) |
    ((n & 0xff00) << 8) |
    ((n & 0xff0000UL) >> 8) |
    ((n & 0xff000000UL) >> 24);
}