Searched refs:efi_console_putchar (Results 1 – 3 of 3) sorted by relevance
21 extern int efi_console_putchar(int c);37 return efi_console_putchar(c); in console_out()
113 int efi_console_putchar(int c) in efi_console_putchar() function132 efi_console_putchar('\r'); in efi_console_putchar()169 return efi_console_putchar(c); in arch_printk_char_out()
21 extern int efi_console_putchar(int c);31 efi_console_putchar(*ptr); in char_out()
