efi_event_t
efi_event_t events[2], timer;
typedef void (__efiapi *efi_event_notify_t)(efi_event_t, void *);
void efi_set_event_at(efi_event_t *events, size_t idx, efi_event_t event)
efi_event_t *);
efi_status_t (__efiapi *set_timer)(efi_event_t,
efi_event_t *,
efi_status_t (__efiapi *close_event)(efi_event_t);
efi_event_t wait_for_key;