efi_cons_efiputchar
efi_cons_efiputchar('\r');
efi_cons_efiputchar(c);
efi_cons_efiputchar('\n');
void efi_cons_efiputchar(int);