Lines Matching refs:grub_printf
343 (grub_printf): Likewise.
985 (grub_printf): Use grub_putstr.
1183 before calling grub_printf, and restore CURRENT_TERM after it.
3465 grub_printf here.
3466 (run_menu) [!GRUB_UTIL]: Don't call grub_printf here. Instead,
5071 (grub_printf): Set a new variable MASK to 0xFFFFFFFF by default.
5073 (grub_printf) [!STAGE1_5]: Added 'b' and 'X'. If C is 'b', set
7814 * grub/main.c (main): Call printf instead of grub_printf.
7944 (grub_printf): Declare FORMAT as `const char *'.
7945 (grub_printf) [STAGE1_5]: Eliminate the `x' and `d' handling
7959 * stage2/shared.h (grub_printf) : Corrected.
8603 * shared_src/char_io.c (grub_printf): Renamed from printf.