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;