efi_set_time_t     90 arch/ia64/kernel/efi.c 	ret = efi_call_##prefix((efi_set_time_t *) __va(runtime->set_time),    \
efi_set_time_t    610 include/linux/efi.h 	efi_set_time_t			*set_time;
efi_set_time_t   1004 include/linux/efi.h 	efi_set_time_t *set_time;