Rename printk() to printf().
[pintos-anon] / src / filesys / filesys.h
1 #ifndef HEADER_FILESYS_H
2 #define HEADER_FILESYS_H 1
3
4 #include <stdbool.h>
5 #include <stdint.h>
6 #include "filesys/off_t.h"
7
8 /* Disk used for filesystem. */
9 extern struct disk *filesys_disk;
10
11 struct file;
12 void filesys_init (bool format);
13 bool filesys_create (const char *name, off_t initial_size);
14 bool filesys_open (const char *name, struct file *);
15 bool filesys_remove (const char *name);
16 bool filesys_list (void);
17 bool filesys_dump (void);
18
19 void filesys_self_test (void);
20
21 #endif /* filesys.h */