diff options
author | Robert Morris <[email protected]> | 2019-08-27 13:13:03 -0400 |
---|---|---|
committer | Robert Morris <[email protected]> | 2019-08-27 13:13:03 -0400 |
commit | 64b93d175ac6eb739036b394fbb0766fbf06f5b7 (patch) | |
tree | 7914971346f770276a307763449700353a5003c1 /user/user.h | |
parent | a3f6d9fd1e21a7339f2bc26f185f7d561bc370c4 (diff) | |
download | xv6-labs-64b93d175ac6eb739036b394fbb0766fbf06f5b7.tar.gz xv6-labs-64b93d175ac6eb739036b394fbb0766fbf06f5b7.tar.bz2 xv6-labs-64b93d175ac6eb739036b394fbb0766fbf06f5b7.zip |
user printf(1 -> printf(
Diffstat (limited to 'user/user.h')
-rw-r--r-- | user/user.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/user/user.h b/user/user.h index 4f99c52..0e01b85 100644 --- a/user/user.h +++ b/user/user.h @@ -30,7 +30,8 @@ char* strcpy(char*, const char*); void *memmove(void*, const void*, int); char* strchr(const char*, char c); int strcmp(const char*, const char*); -void printf(int, const char*, ...); +void fprintf(int, const char*, ...); +void printf(const char*, ...); char* gets(char*, int max); uint strlen(const char*); void* memset(void*, int, uint); |