1 #include <xed/v3-xed-compat.h>
4 /* Standard I/O predefined streams
6 static FILE _streams = {0, 0, 0, 0, 0, NULL, NULL, 0, 0};
7 #ifdef V3_CONFIG_BUILT_IN_STDIN
8 FILE *stdin = (&_streams);
11 #ifdef V3_CONFIG_BUILT_IN_STDOUT
12 FILE *stdout = (&_streams);
15 #ifdef V3_CONFIG_BUILT_IN_STDERR
16 FILE *stderr = (&_streams);
19 #ifdef V3_CONFIG_BUILT_IN_FPRINTF
20 int fprintf(FILE *file, char *fmt, ...) {
21 // PrintDebug("In fprintf!!\n");
27 #ifdef V3_CONFIG_BUILT_IN_PRINTF
28 int printf(char *fmt, ...) {
29 // PrintDebug("In fprintf!!\n");
34 #ifdef V3_CONFIG_BUILT_IN_FFLUSH
35 int fflush(FILE *stream) {
36 //PrintDebug("In fflush!!\n");
41 #ifdef V3_CONFIG_BUILT_IN_ABORT
44 //PrintDebug("Abort!!\n");
46 //__asm__ __volatile__("trap");
47 //__builtin_unreached();