From d412850b7744d1cacadd5e1021676c988d4bd1d4 Mon Sep 17 00:00:00 2001
From: Andy Zhang <37402126+AnzhiZhang@users.noreply.github.com>
Date: Thu, 31 Oct 2024 16:09:24 +0000
Subject: [PATCH] refactor: clear user.h

---
 user/user.h | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/user/user.h b/user/user.h
index f16fe27828..f2f377e5ca 100644
--- a/user/user.h
+++ b/user/user.h
@@ -29,8 +29,6 @@ char* strcpy(char*, const char*);
 void *memmove(void*, const void*, int);
 char* strchr(const char*, char c);
 int strcmp(const char*, const char*);
-void fprintf(int, const char*, ...) __attribute__ ((format (printf, 2, 3)));
-void printf(const char*, ...) __attribute__ ((format (printf, 1, 2)));
 char* gets(char*, int max);
 uint strlen(const char*);
 void* memset(void*, int, uint);
@@ -38,6 +36,10 @@ int atoi(const char*);
 int memcmp(const void *, const void *, uint);
 void *memcpy(void *, const void *, uint);
 
+// printf.c
+void fprintf(int, const char*, ...) __attribute__ ((format (printf, 2, 3)));
+void printf(const char*, ...) __attribute__ ((format (printf, 1, 2)));
+
 // umalloc.c
 void* malloc(uint);
 void free(void*);