24 	int fd, ret;  in sandbox_fs_read_at()  local
26 	fd = os_open(filename, OS_O_RDONLY);  in sandbox_fs_read_at()
27 	if (fd < 0)  in sandbox_fs_read_at()
28 		return fd;  in sandbox_fs_read_at()
29 	ret = os_lseek(fd, pos, OS_SEEK_SET);  in sandbox_fs_read_at()
31 		os_close(fd);  in sandbox_fs_read_at()
37 			os_close(fd);  in sandbox_fs_read_at()
44 	size = os_read(fd, buffer, maxsize);  in sandbox_fs_read_at()
45 	os_close(fd);  in sandbox_fs_read_at()
61 	int fd, ret;  in sandbox_fs_write_at()  local
63 	fd = os_open(filename, OS_O_RDWR | OS_O_CREAT);  in sandbox_fs_write_at()
64 	if (fd < 0)  in sandbox_fs_write_at()
65 		return fd;  in sandbox_fs_write_at()
66 	ret = os_lseek(fd, pos, OS_SEEK_SET);  in sandbox_fs_write_at()
68 		os_close(fd);  in sandbox_fs_write_at()
71 	size = os_write(fd, buffer, towrite);  in sandbox_fs_write_at()
72 	os_close(fd);  in sandbox_fs_write_at()