Symbol: efi_readkey_ex
usr/src/boot/efi/libefi/efi_console.c
763
if (efi_readkey_ex(ecd->ecd_coninex))
usr/src/boot/efi/libefi/efi_console.c
794
key_pending = efi_readkey_ex(coninex);