efi_get_time       15 include/asm-x86/time.h 		retval = efi_get_time();
efi_get_time      300 include/linux/efi.h extern unsigned long efi_get_time(void);