efi_wait_for_key
efi_status_t efi_wait_for_key(unsigned long usec, efi_input_key_t *key);
status = efi_wait_for_key(10 * EFI_USEC_PER_SEC, &key);