efi_set_wakeup_time_t  124 arch/ia64/kernel/efi.c 		(efi_set_wakeup_time_t *) __va(runtime->set_wakeup_time),      \
efi_set_wakeup_time_t  612 include/linux/efi.h 	efi_set_wakeup_time_t		*set_wakeup_time;
efi_set_wakeup_time_t 1006 include/linux/efi.h 	efi_set_wakeup_time_t *set_wakeup_time;