From 599c916d4cdd06765e0869b0a4d685820384f500 Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Tue, 26 Jul 2022 20:40:29 +0200
Subject: user: posix-compatible FILE* opening

---
 src/user/lib/include/stdio.h | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'src/user/lib/include/stdio.h')

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*);
-- 
cgit v1.2.3