Searched refs:pagedb (Results 1 – 1 of 1) sorted by relevance
405 FILE *pagedb; in load_format() local443 if ((pagedb = fopen(pagedb_path, "r")) == NULL) in load_format()453 while ((ch = fgetc(pagedb)) != EOF) { in load_format()461 ch = fgetc(pagedb); in load_format()582 if (ferror(pagedb)) in load_format()586 fclose(pagedb); in load_format()