X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffilesys.h;h=caef83c45c17f4986a3fc8838769a64d7a1e7606;hb=bfc9e18a6723b2315ef521282a8b42119338ece9;hp=9c30c2539101d8c39a43b4abb34842a1d877706b;hpb=a4613d70fb56b93216299f6253698ab0e4bbd46d;p=pintos-anon diff --git a/src/filesys/filesys.h b/src/filesys/filesys.h index 9c30c25..caef83c 100644 --- a/src/filesys/filesys.h +++ b/src/filesys/filesys.h @@ -8,7 +8,7 @@ #define FREE_MAP_SECTOR 0 /* Free map file inode sector. */ #define ROOT_DIR_SECTOR 1 /* Root directory file inode sector. */ -/* Disk used for filesystem. */ +/* Disk used for file system. */ extern struct disk *filesys_disk; void filesys_init (bool format); @@ -17,6 +17,4 @@ bool filesys_create (const char *name, off_t initial_size); struct file *filesys_open (const char *name); bool filesys_remove (const char *name); -void filesys_self_test (void); - #endif /* filesys/filesys.h */