X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=geekos%2Finclude%2Flwip%2Farch%2Fcc.h;h=75b51bdc3e88d9a2d6454e429b16f7580b1e3611;hp=73eb7d3c526db130f9d2504e28010c29104fb78b;hb=a1073097716c800734e117267ce7aa92aa0d9a17;hpb=819c31aa7157ed1e3e17b9f05bf74de38179233d

diff --git a/geekos/include/lwip/arch/cc.h b/geekos/include/lwip/arch/cc.h
index 73eb7d3..75b51bd 100644
--- a/geekos/include/lwip/arch/cc.h
+++ b/geekos/include/lwip/arch/cc.h
@@ -35,11 +35,7 @@
 /* Include some files for defining library routines */
 
 #include <string.h>
-
-extern int fflush(FILE *file);
-extern int printf(char *fmt, ...);
-extern void abort (void);
-
+#include <geekos/debug.h>
 
 /* Define platform endianness */
 #ifndef BYTE_ORDER
@@ -74,7 +70,7 @@ typedef u32_t mem_ptr_t;
 //#include <stdio.h>
 //#include <stdlib.h>
 /* Plaform specific diagnostic output */
-#define LWIP_PLATFORM_DIAG(x)	//do {printf x;} while(0)
+#define LWIP_PLATFORM_DIAG(x)	do {PrintBoth x;} while(0)//do {printf x;} while(0)
 
 #define LWIP_PLATFORM_ASSERT(x)   do {printf("Assertion \"%s\" failed at line %d in %s\n", \
 				    x, __LINE__, __FILE__); fflush(NULL); abort();} while(0)