Searched refs:File_BufSize (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.h22 #define File_BufSize 1024 // A small buffer seem to work just as fine as a big one (at least under Linux) macro
35 int size; // Size of buffer (at end of file, less than 'File_BufSize').
75 size = read(fd, buf, File_BufSize);
87 if (size < File_BufSize) return EOF;
88 size = read(fd, buf, File_BufSize);
97 if (pos == File_BufSize)
98 write(fd, buf, File_BufSize),
113 if (size < File_BufSize) return true;
114 size = read(fd, buf, File_BufSize);
H A DFile.C11 buf = xmalloc<uchar>(File_BufSize);
12 if (mode == READ) size = read(fd, buf, File_BufSize);
43 buf = xmalloc<uchar>(File_BufSize);
44 if (mode == READ) size = read(fd, buf, File_BufSize);
70 size = read(fd, buf, File_BufSize);

Completed in 11 milliseconds