efi_cons_efiputchar
efi_cons_efiputchar(v);
void efi_cons_efiputchar(int);
efi_cons_efiputchar(px->c);
efi_cons_efiputchar('\r');
efi_cons_efiputchar(c);
efi_cons_efiputchar('\r');
efi_cons_efiputchar('\n');
efi_cons_efiputchar('\r');
efi_cons_efiputchar('\b');
efi_cons_efiputchar(c);