diff options
| author | Robert Morris <[email protected]> | 2019-07-26 12:34:06 -0400 |
|---|---|---|
| committer | Robert Morris <[email protected]> | 2019-07-26 12:34:06 -0400 |
| commit | cc1a303d096e0fbd256c2b602271a9a3cf19e05d (patch) | |
| tree | c1c9e656d7dd16df47a31cf41bf421b035bc090d /kernel/defs.h | |
| parent | f0987d82dcb621969199d91ceb11a66adaceeec1 (diff) | |
| download | xv6-labs-cc1a303d096e0fbd256c2b602271a9a3cf19e05d.tar.gz xv6-labs-cc1a303d096e0fbd256c2b602271a9a3cf19e05d.tar.bz2 xv6-labs-cc1a303d096e0fbd256c2b602271a9a3cf19e05d.zip | |
fetchint isn't used any more
Diffstat (limited to 'kernel/defs.h')
| -rw-r--r-- | kernel/defs.h | 1 |
1 files changed, 0 insertions, 1 deletions
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(); |