efi_get_wakeup_time_t  106 arch/ia64/kernel/efi.c 		(efi_get_wakeup_time_t *) __va(runtime->get_wakeup_time),      \
efi_get_wakeup_time_t  611 include/linux/efi.h 	efi_get_wakeup_time_t		*get_wakeup_time;
efi_get_wakeup_time_t 1005 include/linux/efi.h 	efi_get_wakeup_time_t *get_wakeup_time;