X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fsyscall.c;h=a9c5bc8500c517f58169a52c1dee5f1b78a3edff;hb=bfc9e18a6723b2315ef521282a8b42119338ece9;hp=858b77c7d45d47ef7aca231f921ce88f5a257c6f;hpb=a4613d70fb56b93216299f6253698ab0e4bbd46d;p=pintos-anon

diff --git a/src/lib/user/syscall.c b/src/lib/user/syscall.c
index 858b77c..a9c5bc8 100644
--- a/src/lib/user/syscall.c
+++ b/src/lib/user/syscall.c
@@ -176,3 +176,9 @@ isdir (int fd)
 {
   return syscall1 (SYS_ISDIR, fd);
 }
+
+int
+inumber (int fd) 
+{
+  return syscall1 (SYS_INUMBER, fd);
+}