Searched refs:grub_fp (Results 1 – 1 of 1) sorted by relevance
1311 FILE *grub_fp = NULL; in be_change_grub_default() local1370 &grub_fp, "r+", B_TRUE)) != BE_SUCCESS) { in be_change_grub_default()1372 } else if (grub_fp == NULL) { in be_change_grub_default()1419 while (fgets(line, BUFSIZ, grub_fp)) { in be_change_grub_default()1447 rewind(grub_fp); in be_change_grub_default()1449 while (fgets(line, BUFSIZ, grub_fp)) { in be_change_grub_default()1464 (void) fclose(grub_fp); in be_change_grub_default()1465 grub_fp = NULL; in be_change_grub_default()1505 if (grub_fp != NULL) in be_change_grub_default()1506 (void) fclose(grub_fp); in be_change_grub_default()