X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffilesys.h;h=455ac7274a08e15abd0749efe3446842d48f8032;hb=520ff4dd2a106a4d4a21468a72ba820c8ea7d242;hp=3de5f85d7b1f4446e5635cdcc160242010dd9d73;hpb=18c42969655f3a3de4ed601d0f6ce865ecb4a1bf;p=pintos-anon diff --git a/src/filesys/filesys.h b/src/filesys/filesys.h index 3de5f85..455ac72 100644 --- a/src/filesys/filesys.h +++ b/src/filesys/filesys.h @@ -1,20 +1,20 @@ -#ifndef HEADER_FILESYS_H -#define HEADER_FILESYS_H 1 +#ifndef FILESYS_FILESYS_H +#define FILESYS_FILESYS_H #include -#include +#include "filesys/off_t.h" -#ifndef OFF_T -#define OFF_T -typedef int32_t off_t; -#endif +/* 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. */ + +/* Block device that contains the file system. */ +extern struct block *fs_device; -struct 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); -void filesys_list (void); - -void filesys_self_test (void); -#endif /* filesys.h */ +#endif /* filesys/filesys.h */