Searched refs:efi_input_key_t (Results 1 – 3 of 3) sorted by relevance
491 } efi_input_key_t; typedef497 efi_input_key_t *);507 efi_status_t efi_wait_for_key(unsigned long usec, efi_input_key_t *key);
308 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()