Replace lsdir system call by readdir, isdir system calls,
[pintos-anon] / src / filesys / filesys.h
index e87cbea5646933256e05b61f679f34d441b46e04..9c30c2539101d8c39a43b4abb34842a1d877706b 100644 (file)
@@ -16,8 +16,6 @@ void filesys_done (void);
 bool filesys_create (const char *name, off_t initial_size);
 struct file *filesys_open (const char *name);
 bool filesys_remove (const char *name);
-bool filesys_chdir (const char *name);
-bool filesys_list (void);
 
 void filesys_self_test (void);