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);