efi_gettimeofday  243 arch/ia64/kernel/efi.c efi_gettimeofday (struct timespec64 *ts)
efi_gettimeofday  392 arch/ia64/kernel/time.c 	efi_gettimeofday(ts);
efi_gettimeofday 1041 include/linux/efi.h extern void efi_gettimeofday (struct timespec64 *ts);