x

ac8c0bb1 · Frans Kaashoek · 948cfbdb · ac8c0bb1
Commit ac8c0bb1 authored 2 years ago by Frans Kaashoek
Hide whitespace changes
Inline Side-by-side

Showing

with 1 addition and 1 deletion
+1 -1
--- 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();