1 files changed, 5 insertions, 2 deletions
diff --git a/user/user.h b/user/user.h
index 2d6ace6..31453f5 100644
--- a/user/user.h
+++ b/user/user.h
@@ -3,6 +3,7 @@ typedef unsigned long size_t;
 typedef long int off_t;
 #endif
 struct stat;
+struct sysinfo;
 
 // system calls
 int fork(void);
@@ -34,6 +35,10 @@ int pgaccess(void *base, int len, void *mask);
 // usyscall region
 int ugetpid(void);
 #endif
+int trace(int);
+int sysinfo(struct sysinfo*);
+int sigalarm(int ticks, void (*handler)());
+int sigreturn(void);
 
 // ulib.c
 int stat(const char*, struct stat*);
@@ -51,6 +56,4 @@ void free(void*);
 int atoi(const char*);
 int memcmp(const void *, const void *, uint);
 void *memcpy(void *, const void *, uint);
-#ifdef LAB_LOCK
 int statistics(void*, int);
-#endif