C++ (Cpp) __fd_lseek Examples

Example #1

File: fd_32.c Project: minhyuk/klee

__attribute__((weak)) off64_t lseek64(int fd, off64_t off, int whence) {
  return __fd_lseek(fd, off, whence);
}

Example #2

File: fd_32.c Project: minhyuk/klee

off_t lseek(int fd, off_t off, int whence) {
  return (off_t) __fd_lseek(fd, off, whence);
}

Example #3

File: fd_64.c Project: ewro/klee

off64_t lseek(int fd, off64_t offset, int whence) {
  return __fd_lseek(fd, offset, whence);
}