Stub out FILE*, stdout/stdin/stderr and implement fprintf on these

[coreboot.git] / payloads / libpayload / include / stdio.h

diff --git a/payloads/libpayload/include/stdio.h b/payloads/libpayload/include/stdio.h
index 73af2d18e60991ba3e457a56de067bd00d5cf004..fb40a0dc7e2e48c3dca55b3b2cc2f991a363d498 100644 (file)
--- a/payloads/libpayload/include/stdio.h
+++ b/payloads/libpayload/include/stdio.h
@@ -32,6 +32,15 @@
 
 #include <stddef.h>
 
+struct _FILE {
+} _stdout, _stdin, _stderr;
+
+typedef struct _FILE FILE;
+
+FILE *stdout = &_stdout;
+FILE *stdin = &_stdin;
+FILE *stderr = &_stderr;
+
 /**
  * @defgroup printf Print functions
  * @{
@@ -39,6 +48,7 @@
 int snprintf(char *str, size_t size, const char *fmt, ...);
 int sprintf(char *str, const char *fmt, ...);
 int printf(const char *fmt, ...);
+int fprintf(FILE *file, const char *fmt, ...);
 /** @} */
 
 void perror(const char *s);
@@ -47,5 +57,4 @@ void perror(const char *s);
 #define SEEK_CUR 1 /**< The seek offset is against the current position. */
 #define SEEK_END 2 /**< The seek offset is against the end of the file. */
 
-
 #endif