Symbol: efi_cons_putc
sys/arch/i386/stand/efiboot/eficons.c
132
efi_cons_putc('0' + i);
sys/arch/i386/stand/efiboot/eficons.c
178
efi_cons_putc('0' + unit); /* XXX if unit>=10 ? */
sys/arch/i386/stand/efiboot/eficons.c
203
internal_putchar = efi_cons_putc;
sys/arch/i386/stand/efiboot/eficons.c
73
static int efi_cons_putc(int);
sys/arch/i386/stand/efiboot/eficons.c
96
static int (*internal_putchar)(int) = efi_cons_putc;