efi_get_time_t     76 arch/ia64/kernel/efi.c 	ret = efi_call_##prefix((efi_get_time_t *) __va(runtime->get_time),    \
efi_get_time_t    609 include/linux/efi.h 	efi_get_time_t			*get_time;
efi_get_time_t   1003 include/linux/efi.h 	efi_get_time_t *get_time;