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.

diff --git a/efi/main.c b/efi/main.c
index 07177e0..251f5aa 100644 (file)
--- 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);