Searched defs:whence (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.C61 void File::seek(int64 file_pos, int whence) argument
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp1038 int whence = get_C_long(taskData, DEREFHANDLE(args)->Get(2)); local
/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml310 datatype whence = SEEK_SET | SEEK_CUR | SEEK_END type
349 val whence : flock -> whence value
1326 datatype whence = SEEK_SET | SEEK_CUR | SEEK_END type
1384 fun whence (fl: flock) = whenceSeek(#2 fl) function
[all...]

Completed in 80 milliseconds