efi_get_time_t    397 arch/x86/kernel/efi.c 		efi_phys.get_time = (efi_get_time_t *)runtime->get_time;
efi_get_time_t    258 include/linux/efi.h 	efi_get_time_t *get_time;