efi_bool_t
efi_thunk_get_wakeup_time(efi_bool_t *enabled, efi_bool_t *pending,
efi_thunk_set_wakeup_time(efi_bool_t enabled, efi_time_t *tm)
efi_bool_t *);
efi_bool_t *);
efi_bool_t truncated;
efi_bool_t truncated,
static efi_status_t virt_efi_get_wakeup_time(efi_bool_t *enabled,
efi_bool_t *pending,
static efi_status_t virt_efi_set_wakeup_time(efi_bool_t enabled, efi_time_t *tm)
efi_bool_t *enabled;
efi_bool_t *pending;
efi_bool_t enable;
efi_bool_t enabled, pending;
getwakeuptime.enabled ? (efi_bool_t *)&enabled : NULL,
getwakeuptime.pending ? (efi_bool_t *)&pending : NULL,
efi_bool_t enabled;
efi_bool_t *enabled;
efi_bool_t *pending;
efi_bool_t enabled;
static efi_status_t xen_efi_set_wakeup_time(efi_bool_t enabled, efi_time_t *tm)
static efi_status_t xen_efi_get_wakeup_time(efi_bool_t *enabled,
efi_bool_t *pending,
typedef efi_status_t efi_get_wakeup_time_t (efi_bool_t *enabled, efi_bool_t *pending,
typedef efi_status_t efi_set_wakeup_time_t (efi_bool_t enabled, efi_time_t *tm);