AB3100_RTC_CLOCK_RATE   51 drivers/rtc/rtc-ab3100.c 	u64 hw_counter = rtc_tm_to_time64(tm) * AB3100_RTC_CLOCK_RATE * 2;
AB3100_RTC_CLOCK_RATE  104 drivers/rtc/rtc-ab3100.c 		time = hw_counter / (u64) (AB3100_RTC_CLOCK_RATE * 2);
AB3100_RTC_CLOCK_RATE  138 drivers/rtc/rtc-ab3100.c 	time = hw_counter / (u64) (AB3100_RTC_CLOCK_RATE * 2);
AB3100_RTC_CLOCK_RATE  155 drivers/rtc/rtc-ab3100.c 	hw_counter = secs * AB3100_RTC_CLOCK_RATE * 2;