File system project updates:

[pintos-anon] / src / filesys / inode.h

diff --git a/src/filesys/inode.h b/src/filesys/inode.h
index e8aac13b838fc6c550725799ed870235416814d2..be7df634ef499bf83390647d75a92edb4532ecc8 100644 (file)
--- a/src/filesys/inode.h
+++ b/src/filesys/inode.h
@@ -11,6 +11,7 @@ void inode_init (void);
 bool inode_create (disk_sector_t, off_t);
 struct inode *inode_open (disk_sector_t);
 struct inode *inode_reopen (struct inode *);
+disk_sector_t inode_get_inumber (const struct inode *);
 void inode_close (struct inode *);
 void inode_remove (struct inode *);
 off_t inode_read_at (struct inode *, void *, off_t size, off_t offset);