efi_event
efi_event* event) EFIAPI;
efi_status (*SetTimer) (efi_event event, efi_timer_delay type, uint64_t trigger_time) EFIAPI;
efi_status (*WaitForEvent) (size_t num_events, efi_event* event, size_t* index) EFIAPI;
efi_status (*SignalEvent) (efi_event event) EFIAPI;
efi_status (*CloseEvent) (efi_event event) EFIAPI;
efi_status (*CheckEvent) (efi_event event) EFIAPI;
efi_status (*RegisterProtocolNotify) (efi_guid* protocol, efi_event event,
const efi_guid* event_group, efi_event* event) EFIAPI;
efi_event Event;
efi_event RecycleEvent;
efi_event Event;
efi_event WaitForPacket;
efi_event WaitForKey;
typedef void (*efi_event_notify) (efi_event event, void* ctx) EFIAPI;
efi_event event = kSystemTable->ConIn->WaitForKey;