diff --git a/kernel/defs.h b/kernel/defs.h
index 95fb94b..a3c962b 100644
--- a/kernel/defs.h
+++ b/kernel/defs.h
@@ -136,7 +136,7 @@ char*           strncpy(char*, const char*, int);
 // syscall.c
 void            argint(int, int*);
 int             argstr(int, char*, int);
-void             argaddr(int, uint64 *);
+void            argaddr(int, uint64 *);
 int             fetchstr(uint64, char*, int);
 int             fetchaddr(uint64, uint64*);
 void            syscall();