Searched refs:efi_event_t (Results 1 – 2 of 2) sorted by relevance
214 typedef void *efi_event_t; typedef216 typedef void (__efiapi *efi_event_notify_t)(efi_event_t, void *);234 void efi_set_event_at(efi_event_t *events, size_t idx, efi_event_t event) in efi_set_event_at()273 efi_event_t *);274 efi_status_t (__efiapi *set_timer)(efi_event_t,277 efi_event_t *,280 efi_status_t (__efiapi *close_event)(efi_event_t);498 efi_event_t wait_for_key;
674 efi_event_t events[2], timer; in efi_wait_for_key()