updated shadow paging to handle cache-disabled and write-through pages

[palacios.git] / geekos / src / lwip / api / tcpip.c

diff --git a/geekos/src/lwip/api/tcpip.c b/geekos/src/lwip/api/tcpip.c
index 97ae41d..2dae2e5 100644 (file)
--- a/geekos/src/lwip/api/tcpip.c
+++ b/geekos/src/lwip/api/tcpip.c
@@ -261,7 +261,11 @@ tcpip_thread(void *arg)
 
   LOCK_TCPIP_CORE();
   while (1) {                          /* MAIN Loop */
+
+    PrintBoth("In tcp_thread: main loop\n");    
+
     sys_mbox_fetch(mbox, (void *)&msg);
+
     switch (msg->type) {
 #if LWIP_NETCONN
     case TCPIP_MSG_API: