X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Flwip%2Fapi%2Fsockets.c;h=0853b0e71a536eb0392f6332546c2f063e65c5b9;hb=6eecf583b522147ef13faabb634562f6f23bb712;hp=88fec4367f7a7f610b35d6093e79d1b7c360df8c;hpb=cb5c761311d5277a6fc376bbfe471e003b375686;p=palacios.git

diff --git a/palacios/src/lwip/api/sockets.c b/palacios/src/lwip/api/sockets.c
index 88fec43..0853b0e 100644
--- a/palacios/src/lwip/api/sockets.c
+++ b/palacios/src/lwip/api/sockets.c
@@ -52,6 +52,8 @@
 #include "lwip/udp.h"
 #include "lwip/tcpip.h"
 
+#include "lwip/arch.h"
+
 #include <string.h>
 
 #define NUM_SOCKETS MEMP_NUM_NETCONN
@@ -853,9 +855,7 @@ lwip_select(int maxfdp1, fd_set *readset, fd_set *writeset, fd_set *exceptset,
   struct lwip_select_cb select_cb;
   struct lwip_select_cb *p_selcb;
 
-  LWIP_DEBUGF(SOCKETS_DEBUG, ("lwip_select(%d, %p, %p, %p, tvsec=%ld tvusec=%ld)\n",
-                  maxfdp1, (void *)readset, (void *) writeset, (void *) exceptset,
-                  timeout ? timeout->tv_sec : -1L, timeout ? timeout->tv_usec : -1L));
+  LWIP_DEBUGF(SOCKETS_DEBUG, ("lwip_select(%d, %p, %p, %p, tvsec=%ld tvusec=%ld)\n", maxfdp1, (void *)readset, (void *) writeset, (void *) exceptset, timeout?timeout->tv_sec:-1L, timeout?timeout->tv_usec:-1L));
 
   select_cb.next = 0;
   select_cb.readset = readset;