2 files changed, 9 insertions, 1 deletions
diff --git a/src/user/lib/include/stdio.h b/src/user/lib/include/stdio.h
index 91fe169..6c3a974 100644
--- a/src/user/lib/include/stdio.h
+++ b/src/user/lib/include/stdio.h
@@ -3,11 +3,19 @@
 
 #include <stdarg.h>
 
+extern FILE term;
+
+void print(char *s);
+void printf(char *s, ...);
+char *readln();
+
 void fprint(FILE f, char *s);
 void fprint_int(FILE f, int number);
 void fprint_hex(FILE f, unsigned number);
 void fprintf(FILE f, char *s, ...);
 
+void vsfprintf(FILE f, char *s, va_list arg);
+
 char* freadln(FILE f);
 
 #endif
diff --git a/src/user/lib/include/string.h b/src/user/lib/include/string.h
index f14af35..87d8da2 100644
--- a/src/user/lib/include/string.h
+++ b/src/user/lib/include/string.h
@@ -14,7 +14,7 @@ uint16_t *memsetw(uint16_t *dest, uint16_t val, int count);
 int strlen(const char *str);
 char *strcpy(char *dest, const char *src);
 char *strdup(const char *src);
-char *strchr(const char *str, char c);
+char *strchr(const char *str, int c);
 char *strcat(char *dest, const char *src);
 int strcmp(const char *s1, const char *s2);