convert_to_efi_time  200 drivers/char/efirtc.c 			convert_to_efi_time(&wtime, &eft);
convert_to_efi_time  220 drivers/char/efirtc.c 			convert_to_efi_time(&wtime, &eft);
convert_to_efi_time  140 drivers/rtc/rtc-efi.c 	convert_to_efi_time(&wkalrm->time, &eft);
convert_to_efi_time  182 drivers/rtc/rtc-efi.c 	convert_to_efi_time(tm, &eft);