X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffilesys.h;h=caef83c45c17f4986a3fc8838769a64d7a1e7606;hb=f294e7e618e110f8203ea7cf800acb2e1334774b;hp=6f1e387c14429066484d9b02e558e20462d68dfb;hpb=8256dc4ff8f7c0a1f76c2d3a601b92d67aa8acfe;p=pintos-anon diff --git a/src/filesys/filesys.h b/src/filesys/filesys.h index 6f1e387..caef83c 100644 --- a/src/filesys/filesys.h +++ b/src/filesys/filesys.h @@ -1,11 +1,20 @@ -#ifndef HEADER_FILESYS_H -#define HEADER_FILESYS_H 1 +#ifndef FILESYS_FILESYS_H +#define FILESYS_FILESYS_H #include +#include "filesys/off_t.h" -void filesys_init (bool reformat); -bool filesys_create (const char *name); +/* Sectors of system file inodes. */ +#define FREE_MAP_SECTOR 0 /* Free map file inode sector. */ +#define ROOT_DIR_SECTOR 1 /* Root directory file inode sector. */ + +/* Disk used for file system. */ +extern struct disk *filesys_disk; + +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); -#endif /* filesys.h */ +#endif /* filesys/filesys.h */