Searched refs:File_BufSize (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | File.h | 22 #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 D | File.C | 11 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