efi_com_waitforinputevent
static int efi_com_waitforinputevent(uint64_t);
internal_waitforinputevent = efi_com_waitforinputevent;