20 int sandbox_fs_read_at(const char *filename, loff_t pos, void *buffer,  in sandbox_fs_read_at()  argument
26 	fd = os_open(filename, OS_O_RDONLY);  in sandbox_fs_read_at()
35 		ret = os_get_filesize(filename, &size);  in sandbox_fs_read_at()
57 int sandbox_fs_write_at(const char *filename, loff_t pos, void *buffer,  in sandbox_fs_write_at()  argument
63 	fd = os_open(filename, OS_O_RDWR | OS_O_CREAT);  in sandbox_fs_write_at()
103 int sandbox_fs_exists(const char *filename)  in sandbox_fs_exists()  argument
108 	ret = os_get_filesize(filename, &size);  in sandbox_fs_exists()
112 int sandbox_fs_size(const char *filename, loff_t *size)  in sandbox_fs_size()  argument
114 	return os_get_filesize(filename, size);  in sandbox_fs_size()
121 int fs_read_sandbox(const char *filename, void *buf, loff_t offset, loff_t len,  in fs_read_sandbox()  argument
126 	ret = sandbox_fs_read_at(filename, offset, buf, len, actread);  in fs_read_sandbox()
128 		printf("** Unable to read file %s **\n", filename);  in fs_read_sandbox()
133 int fs_write_sandbox(const char *filename, void *buf, loff_t offset,  in fs_write_sandbox()  argument
138 	ret = sandbox_fs_write_at(filename, offset, buf, len, actwrite);  in fs_write_sandbox()
140 		printf("** Unable to write file %s **\n", filename);  in fs_write_sandbox()