Searched refs:efi_input_key_t (Results 1 – 2 of 2) sorted by relevance
487 } efi_input_key_t; typedef493 efi_input_key_t *);503 efi_status_t efi_wait_for_key(unsigned long usec, efi_input_key_t *key);
307 efi_input_key_t key; in choose_mode_list()