1 files changed, 7 insertions, 0 deletions
diff --git a/lib/user/stdio.h b/lib/user/stdio.h
new file mode 100644
index 0000000..b9f3cc6
--- /dev/null
+++ b/lib/user/stdio.h
@@ -0,0 +1,7 @@
+#ifndef __LIB_USER_STDIO_H
+#define __LIB_USER_STDIO_H
+int hprintf (int, const char *, ...) PRINTF_FORMAT (2, 3);
+int vhprintf (int, const char *, va_list) PRINTF_FORMAT (2, 0);
+#endif /* lib/user/stdio.h */

diff --git a/lib/user/stdio.h b/lib/user/stdio.h new file mode 100644 index 0000000..b9f3cc6 --- /dev/null +++ b/lib/user/stdio.h
@@ -0,0 +1,7 @@
	1	#ifndef __LIB_USER_STDIO_H
	2	#define __LIB_USER_STDIO_H
	3
	4	int hprintf (int, const char *, ...) PRINTF_FORMAT (2, 3);
	5	int vhprintf (int, const char *, va_list) PRINTF_FORMAT (2, 0);
	6
	7	#endif /* lib/user/stdio.h */