1 files changed, 5 insertions, 0 deletions
diff --git a/defs.h b/defs.h
index 693fc20..8731c27 100644
--- a/defs.h
+++ b/defs.h
@@ -42,6 +42,11 @@ int strncmp(const char*, const char*, uint);
 
 // syscall.c
 void syscall(void);
+int fetchint(struct proc*, uint, int*);
+int fetchbyte(struct proc*, uint, char*);
+int fetcharg(int, void*);
+int checkstring(uint);
+int putint(struct proc*, uint, int);
 
 // picirq.c
 void pic_init(void);