efi_getchar() should wait for the event before reading keystroke.
authorchandramouli narayanan <mouli@linux.intel.com>
Fri, 13 Jul 2012 17:34:42 +0000 (10:34 -0700)
committerchandramouli narayanan <mouli@linux.intel.com>
Fri, 13 Jul 2012 17:34:42 +0000 (10:34 -0700)
commit16aba524b339a2b0c5f0514827a8329fd120be03
tree64945e20f9bc6d5b0cd0391bfa4bf98a59ade58f
parentd6036dc65284a63f08c1b75e8bb10d15a96b5286
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