efi_cons_rawputchar
efi_cons_rawputchar(' ');
efi_cons_rawputchar('\033');
efi_cons_rawputchar(esc);
efi_cons_rawputchar(*ch++);
efi_cons_rawputchar(c);
efi_cons_rawputchar(c);
efi_cons_rawputchar(c);