efi_set_wakeup_time_t
efi_set_wakeup_time_t __efiapi *set_wakeup_time;
efi_set_wakeup_time_t *set_wakeup_time;