Searched refs:lseek64 (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | File.C | 42 if (has_a) lseek64(fd, 0, SEEK_END);
66 lseek64(fd, file_pos, whence);
68 if (whence == SEEK_CUR) lseek64(fd, file_pos - (size - pos), SEEK_CUR);
69 else lseek64(fd, file_pos, whence);
78 return lseek64(fd, 0, SEEK_CUR);
80 return lseek64(fd, 0, SEEK_CUR) - (size - pos);
|
| H A D | File.h | 13 #define lseek64 ::lseek macro
64 lseek64(fd, pos - size, SEEK_CUR);
77 lseek64(fd, pos - size, SEEK_CUR);
|
Completed in 28 milliseconds