efi_cons_efiputchar
static void efi_cons_efiputchar(int);
efi_cons_efiputchar('\n');
efi_cons_efiputchar(data[i]);
efi_cons_efiputchar(c);