Searched refs:efi_input_key_t (Results 1 – 3 of 3) sorted by relevance
437 } efi_input_key_t; typedef443 efi_input_key_t *);453 efi_status_t efi_wait_for_key(unsigned long usec, efi_input_key_t *key);
764 efi_status_t efi_wait_for_key(unsigned long usec, efi_input_key_t *key) in efi_wait_for_key()
324 efi_input_key_t key; in choose_mode_list()