From 16aba524b339a2b0c5f0514827a8329fd120be03 Mon Sep 17 00:00:00 2001
From: chandramouli narayanan <mouli@linux.intel.com>
Date: Fri, 13 Jul 2012 10:34:42 -0700
Subject: [PATCH] efi_getchar() should wait for the event before reading
 keystroke. On an efi64 platform, it didn't work without wait. It needs
 further debugging to ascertain the fix.

---
 efi/main.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/efi/main.c b/efi/main.c
index 07177e0..251f5aa 100644
--- a/efi/main.c
+++ b/efi/main.c
@@ -243,6 +243,7 @@ char efi_getchar(void)
 	EFI_STATUS status;
 	char c;
 
+	WaitForSingleEvent(in->WaitForKey, 0);
 	do {
 		status = uefi_call_wrapper(in->ReadKeyStroke, 2, in, &key);
 	} while (status == EFI_NOT_READY);
-- 
2.7.4