user: posix-compatible FILE* opening

1 files changed, 7 insertions, 7 deletions

diff --git a/src/user/lib/include/stdio.h b/src/user/lib/include/stdio.h
index 291a194..2b1d8ed 100644
--- a/src/user/lib/include/stdio.h
+++ b/src/user/lib/include/stdio.h
@@ -8,11 +8,11 @@ int snprintf(char *str, size_t len, const char *fmt, ...);
 int _klogf(const char *fmt, ...); // for kernel debugging only
 
 
-extern libc_file *const stdin, *const stdout;
+extern FILE *const stdin, *const stdout;
 
-libc_file *file_open(const char *path, int flags);
-libc_file *file_reopen(libc_file*, const char *path, int flags);
-libc_file *file_clone(const libc_file*);
-int file_read(libc_file*, char *buf, size_t len);
-int file_write(libc_file*, const char *buf, size_t len);
-void file_close(libc_file*);
+FILE *fopen(const char *path, const char *mode);
+FILE *freopen(const char *path, const char *mode, FILE*);
+FILE *file_clone(const FILE*);
+int file_read(FILE*, char *buf, size_t len);
+int file_write(FILE*, const char *buf, size_t len);
+void file_close(FILE*);