Lines Matching refs:grub_printf
502 (grub_printf): Likewise.
1144 (grub_printf): Use grub_putstr.
1342 before calling grub_printf, and restore CURRENT_TERM after it.
3624 grub_printf here.
3625 (run_menu) [!GRUB_UTIL]: Don't call grub_printf here. Instead,
5230 (grub_printf): Set a new variable MASK to 0xFFFFFFFF by default.
5232 (grub_printf) [!STAGE1_5]: Added 'b' and 'X'. If C is 'b', set
7973 * grub/main.c (main): Call printf instead of grub_printf.
8103 (grub_printf): Declare FORMAT as `const char *'.
8104 (grub_printf) [STAGE1_5]: Eliminate the `x' and `d' handling
8118 * stage2/shared.h (grub_printf) : Corrected.
8762 * shared_src/char_io.c (grub_printf): Renamed from printf.