Searched refs:efi_input_key_t (Results 1 – 3 of 3) 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()
671 efi_status_t efi_wait_for_key(unsigned long usec, efi_input_key_t *key) in efi_wait_for_key()