File system project updates:
[pintos-anon] / src / lib / syscall-nr.h
index eb1e0ee907dd62d22265d90e0e9e38db8b51f067..21a7af952f8728f93b77d6867ebbf60a7699864c 100644 (file)
@@ -27,7 +27,8 @@ enum
     SYS_CHDIR,                  /* Change the current directory. */
     SYS_MKDIR,                  /* Create a directory. */
     SYS_READDIR,                /* Reads a directory entry. */
-    SYS_ISDIR                   /* Tests if a fd represents a directory. */
+    SYS_ISDIR,                  /* Tests if a fd represents a directory. */
+    SYS_INUMBER                 /* Returns the inode number for a fd. */
   };
 
 #endif /* lib/syscall-nr.h */