5 file_read (struct file *file, void *buffer, off_t size)
8 filesys_stub_send ("s'read' i i", (int32_t) file, (int32_t) size);
9 filesys_stub_receive ("s'read' i", &retval);
12 if (!filesys_stub_receive ("B", buffer, (size_t) retval))
19 file_write (struct file *file, const void *buffer, off_t size)
22 filesys_stub_send ("s'write' i B", (int32_t) file, buffer, (size_t) size);
23 filesys_stub_receive ("s'write' i", &retval);
28 file_length (struct file *file)
31 filesys_stub_send ("s'length' i", (int32_t) file);
32 filesys_stub_receive ("s'length' i", &length);
37 file_seek (struct file *file, off_t pos)
39 filesys_stub_send ("s'seek' i i", (int32_t) file, (int32_t) pos);
40 filesys_stub_receive ("s'seek'");
44 file_tell (struct file *file)
47 filesys_stub_send ("s'tell' i", (int32_t) file);
48 filesys_stub_receive ("s'tell'", &pos);
51 #endif /* FILESYS_STUB */