From cc1a303d096e0fbd256c2b602271a9a3cf19e05d Mon Sep 17 00:00:00 2001
From: Robert Morris <rtm@csail.mit.edu>
Date: Fri, 26 Jul 2019 12:34:06 -0400
Subject: fetchint isn't used any more

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

(limited to 'kernel/defs.h')

diff --git a/kernel/defs.h b/kernel/defs.h
index c3e6e6e..fa9dd13 100644
--- a/kernel/defs.h
+++ b/kernel/defs.h
@@ -129,7 +129,6 @@ int             argint(int, int*);
 int             argptr(int, uint64*, int);
 int             argstr(int, char*, int);
 int             argaddr(int, uint64 *);
-int             fetchint(uint64, int*);
 int             fetchstr(uint64, char*, int);
 int             fetchaddr(uint64, uint64*);
 void            syscall();
-- 
cgit v1.2.3