projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Priority change clarification (problem 1-3).
[pintos-anon]
/
src
/
filesys
/
filesys.h
diff --git
a/src/filesys/filesys.h
b/src/filesys/filesys.h
index 010510147d6d61dc42f5e876b93bb7b93d412eb0..9563fbb37e2926a255d4256db8b268666e0a3870 100644
(file)
--- a/
src/filesys/filesys.h
+++ b/
src/filesys/filesys.h
@@
-12,6
+12,7
@@
extern struct disk *filesys_disk;
extern struct file *free_map_file;
void filesys_init (bool format);
+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);