pintos-os.org Git - pintos-anon/blob - src/filesys/file.h

   1 #ifndef HEADER_FILE_H
   2 #define HEADER_FILE_H 1
   3
   4 #include <stdint.h>
   5 #include <stddef.h>
   6
   7 typedef int32_t off_t;
   8
   9 struct file;
  10 off_t file_read (struct file *, void *, off_t);
  11 off_t file_write (struct file *, const void *, off_t);
  12 off_t file_length (struct file *);
  13 void file_seek (struct file *, off_t);
  14 off_t file_tell (struct file *);
  15
  16 #endif /* file.h */