efi_cons_waitforinputevent
internal_waitforinputevent = efi_cons_waitforinputevent;
static int efi_cons_waitforinputevent(uint64_t);
static int (*internal_waitforinputevent)(uint64_t) = efi_cons_waitforinputevent;