X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fxed%2Fv3-xed-compat.c;fp=palacios%2Fsrc%2Fxed%2Fv3-xed-compat.c;h=2c6638132826e79cf371d29255ee4d44a7cac1e9;hp=0000000000000000000000000000000000000000;hb=ddc16b0737cf58f7aa90a69c6652cdf4090aec51;hpb=626595465a2c6987606a6bc697df65130ad8c2d3

diff --git a/palacios/src/xed/v3-xed-compat.c b/palacios/src/xed/v3-xed-compat.c
new file mode 100644
index 0000000..2c66381
--- /dev/null
+++ b/palacios/src/xed/v3-xed-compat.c
@@ -0,0 +1,44 @@
+#include <xed/v3-xed-compat.h>
+
+
+/* Standard I/O predefined streams
+*/
+static FILE   _streams = {0, 0, 0, 0, 0, NULL, NULL, 0, 0};
+FILE  *stdin = (&_streams);
+FILE  *stdout = (&_streams);
+FILE  *stderr = (&_streams);
+
+int fprintf(FILE *file, char *fmt, ...)
+{
+   // PrintDebug("In fprintf!!\n");
+
+   return 0;
+
+}
+
+int printf(char *fmt, ...)
+{
+   // PrintDebug("In fprintf!!\n");
+
+   return 0;
+
+}
+
+int fflush(FILE *stream)
+{
+    //PrintDebug("In fflush!!\n");
+
+    return 0;
+}
+
+void abort(void)
+{
+   //PrintDebug("Abort!!\n");
+
+   //__asm__ __volatile__("trap"); 
+   //__builtin_unreached();
+
+
+   while(1);
+   
+}