Searched refs:rfile (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | topten.c | 126 readentry(rfile,tt)
127 FILE *rfile;
142 final_fpos = tt->fpos = ftell(rfile);
145 if(fscanf(rfile, fmt,
159 if (fscanf(rfile, fmt32,
169 } else if (fscanf(rfile, fmt33,
189 writeentry(rfile,tt)
190 FILE *rfile;
197 (void) fprintf(rfile,"%d %d %d %ld %d %d %d %d %d %d %ld %ld %d ",
199 (void) fprintf(rfile,"
252 FILE *rfile; local
752 FILE *rfile; local
919 FILE *rfile; local
[all...] |
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | topten.c | 126 readentry(rfile,tt)
127 FILE *rfile;
142 final_fpos = tt->fpos = ftell(rfile);
145 if(fscanf(rfile, fmt,
159 if (fscanf(rfile, fmt32,
169 } else if (fscanf(rfile, fmt33,
189 writeentry(rfile,tt)
190 FILE *rfile;
197 (void) fprintf(rfile,"%d %d %d %ld %d %d %d %d %d %d %ld %ld %d ",
199 (void) fprintf(rfile,"
252 FILE *rfile; local
752 FILE *rfile; local
919 FILE *rfile; local
[all...] |
Completed in 27 milliseconds