Symbol: efi_readkey
usr/src/boot/efi/libefi/efi_console.c
760
if (efi_readkey(ecd->ecd_conin))
usr/src/boot/efi/libefi/efi_console.c
801
key_pending = efi_readkey(conin);