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

   1 #ifndef HEADER_FILESYS_STUB_H
   2 #define HEADER_FILESYS_STUB_H 1
   3
   4 #include <stdbool.h>
   5 #include <stdint.h>
   6 #include <stddef.h>
   7
   8 struct file;
   9
  10 void filesys_stub_init (void);
  11 void filesys_stub_lock (void);
  12 void filesys_stub_unlock (void);
  13
  14 void filesys_stub_put_bool (bool);
  15 void filesys_stub_put_bytes (const void *, size_t);
  16 void filesys_stub_put_file (struct file *);
  17 void filesys_stub_put_int32 (int32_t);
  18 void filesys_stub_put_string (const char *);
  19 void filesys_stub_put_uint32 (uint32_t);
  20
  21 bool filesys_stub_get_bool (void);
  22 void filesys_stub_get_bytes (void *, size_t);
  23 struct file *filesys_stub_get_file (void);
  24 int32_t filesys_stub_get_int32 (void);
  25 void filesys_stub_match_string (const char *);
  26 uint32_t filesys_stub_get_uint32 (void);
  27
  28 #endif /* filesys-stub.h */