Add new syscall stubs.
[pintos-anon] / src / lib / user /
drwxr-xr-x   ..
-rw-r--r-- 162 entry.c
-rw-r--r-- 1169 printf.c
-rw-r--r-- 41 syscall-stub.S
-rw-r--r-- 134 syscall-stub.h
-rw-r--r-- 1191 syscall.c
-rw-r--r-- 679 syscall.h
-rw-r--r-- 1 user.c
-rw-r--r-- 237 user.h