Fix seg fault on ps3 flash error
[petitboot] / lib / log / log.h
index 3e92555a12c62a104694860faa3fa9419c1bfec4..6f44bea0d38ac1fd9bd543676757ce47af788a64 100644 (file)
@@ -3,7 +3,9 @@
 
 #include <stdio.h>
 
-void pb_log(const char *fmt, ...);
+void __attribute__ ((format (printf, 1, 2))) pb_log(const char *fmt, ...);
 void pb_log_set_stream(FILE *stream);
+FILE * pb_log_get_stream(void);
+void pb_log_always_flush(int state);
 
 #endif /* _LOG_H */