Symbol: efi_readkey_ex
stand/efi/libefi/efi_console.c
1350
if (efi_readkey_ex())
stand/efi/libefi/efi_console.c
1375
key_pending = efi_readkey_ex();