efi_cons_getc
internal_getchar = efi_cons_getc;
static int efi_cons_getc(void);
static int (*internal_getchar)(void) = efi_cons_getc;