second_high        83 drivers/rtc/rtc-vr41xx.c 	unsigned long second_low, second_mid, second_high;
second_high        91 drivers/rtc/rtc-vr41xx.c 		second_high = rtc1_read(ETIMEHREG);
second_high        93 drivers/rtc/rtc-vr41xx.c 		 first_high != second_high);