compute_wday       81 drivers/char/efirtc.c compute_wday(efi_time_t *eft)
compute_wday       37 drivers/rtc/rtc-efi.c compute_wday(efi_time_t *eft, int yday)