efi_isa_getchar
tty->c_in = efi_isa_getchar;
while (efi_isa_getchar(tty) != -1)
static int efi_isa_getchar(struct console *);