Add lwip files, for test, not compilable version

[palacios.git] / palacios / src / lwip / include / arch / cc.h

diff --git a/palacios/src/lwip/include/arch/cc.h b/palacios/src/lwip/include/arch/cc.h
index 32f3953..73eb7d3 100644 (file)
--- a/palacios/src/lwip/include/arch/cc.h
+++ b/palacios/src/lwip/include/arch/cc.h
@@ -33,8 +33,13 @@
 #define __ARCH_CC_H__
 
 /* Include some files for defining library routines */
+
 #include <string.h>
-//#include <sys/time.h>
+
+extern int fflush(FILE *file);
+extern int printf(char *fmt, ...);
+extern void abort (void);
+
 
 /* Define platform endianness */
 #ifndef BYTE_ORDER
@@ -69,9 +74,9 @@ 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 {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)
+#define LWIP_PLATFORM_ASSERT(x)   do {printf("Assertion \"%s\" failed at line %d in %s\n", \
+                                   x, __LINE__, __FILE__); fflush(NULL); abort();} while(0) 
                                     
 #endif /* __ARCH_CC_H__ */