From ac8c0bb177da1119364d10a1a25a14b6dd238cce Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Tue, 23 Aug 2022 11:56:29 -0400
Subject: [PATCH] x

---
 kernel/defs.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();