Searched refs:efi_input_key_t (Results 1 – 3 of 3) sorted by relevance
485 } efi_input_key_t; typedef491 efi_input_key_t *);501 efi_status_t efi_wait_for_key(unsigned long usec, efi_input_key_t *key);
324 efi_input_key_t key; in choose_mode_list()
672 efi_status_t efi_wait_for_key(unsigned long usec, efi_input_key_t *key) in efi_wait_for_key()