Searched refs:efi_event_t (Results 1 – 2 of 2) sorted by relevance
182 typedef void *efi_event_t; typedef184 typedef void (__efiapi *efi_event_notify_t)(efi_event_t, void *);202 void efi_set_event_at(efi_event_t *events, size_t idx, efi_event_t event) in efi_set_event_at()241 efi_event_t *);242 efi_status_t (__efiapi *set_timer)(efi_event_t,245 efi_event_t *,248 efi_status_t (__efiapi *close_event)(efi_event_t);444 efi_event_t wait_for_key;
766 efi_event_t events[2], timer; in efi_wait_for_key()