1 #ifndef HEADER_FILESYS_STUB_H
2 #define HEADER_FILESYS_STUB_H 1
10 void filesys_stub_init (void);
11 void filesys_stub_lock (void);
12 void filesys_stub_unlock (void);
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);
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);
28 #endif /* filesys-stub.h */