Symbol: efi_readkey
stand/efi/libefi/efi_console.c
1347
if (efi_readkey())
stand/efi/libefi/efi_console.c
1382
key_pending = efi_readkey();