fetchint isn't used any more

This commit is contained in:
Robert Morris 2019-07-26 12:34:06 -04:00
parent f0987d82dc
commit cc1a303d09
2 changed files with 0 additions and 14 deletions

View file

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