/* Simple callback function used with tcpip_callback to free a pbuf (pbuf_free has a wrong signature for tcpip_callback) */
static void pbuf_free_int(void *p)
/* Simple callback function used with tcpip_callback to free a pbuf (pbuf_free has a wrong signature for tcpip_callback) */
static void pbuf_free_int(void *p)
{
  struct pbuf *q = p;
  pbuf_free(q);
}