efi_com_putc
if (efi_com_putc(':') &&
efi_com_putc('-') &&
efi_com_putc('(') &&
if (efi_com_putc(':') &&
efi_com_putc('-') &&
efi_com_putc('(') &&
static int efi_com_putc(int);
internal_putchar = efi_com_putc;