palacios/lib/i386/v3-xed-compat.c

   1 #include <xed/v3-xed-compat.h>
   2
   3
   4 /* Standard I/O predefined streams
   5 */
   6 static FILE   _streams = {0, 0, 0, 0, 0, NULL, NULL, 0, 0};
   7 #ifdef V3_CONFIG_BUILT_IN_STDIN
   8 FILE  *stdin = (&_streams);
   9 #endif
  10
  11 #ifdef V3_CONFIG_BUILT_IN_STDOUT
  12 FILE  *stdout = (&_streams);
  13 #endif
  14
  15 #ifdef V3_CONFIG_BUILT_IN_STDERR
  16 FILE  *stderr = (&_streams);
  17 #endif
  18
  19 #ifdef V3_CONFIG_BUILT_IN_FPRINTF
  20 int fprintf(FILE *file, char *fmt, ...) {
  21    // PrintDebug("In fprintf!!\n");
  22    return 0;
  23
  24 }
  25 #endif
  26
  27 #ifdef V3_CONFIG_BUILT_IN_PRINTF
  28 int printf(char *fmt, ...) {
  29    // PrintDebug("In fprintf!!\n");
  30    return 0;
  31 }
  32 #endif
  33
  34 #ifdef V3_CONFIG_BUILT_IN_FFLUSH
  35 int fflush(FILE *stream) {
  36     //PrintDebug("In fflush!!\n");
  37     return 0;
  38 }
  39 #endif
  40
  41 #ifdef V3_CONFIG_BUILT_IN_ABORT
  42 void abort(void)
  43 {
  44    //PrintDebug("Abort!!\n");
  45
  46    //__asm__ __volatile__("trap");
  47    //__builtin_unreached();
  48
  49    while(1);
  50 }
  51 #endif