Lines Matching refs:grub_printf
387 + grub_printf("Splash image filename too large\n");
388 + grub_printf("Press any key to continue...");
411 + grub_printf("Failed to set splash image and/or graphics mode\n");
1044 + the following grub_printf call will print newlines. */
1047 + grub_printf("\n");
1051 + grub_printf ("[Hit return to continue]");
1062 + grub_printf ("\r \r");
1090 - the following grub_printf call will print newlines. */
1096 - grub_printf ("\n[Hit return to continue]");
1106 - grub_printf ("\r \r");
1156 + grub_printf(" [ Minimal BASH-like line editing is supported. For\n"
1342 + grub_printf("Failed to read splash image (%s)\n", splashimage);
1343 + grub_printf("Press any key to continue...");
2012 grub_printf ("\n\
2046 grub_printf ("\n\nThe selected entry is %d ", entryno);
2058 - grub_printf ("The highlighted entry will be booted automatically in %d seconds. ",
2060 + grub_printf (" The highlighted entry will be booted automatically in %d seconds. ",
2186 grub_printf ("\n");
2196 grub_printf ("\r ");