RTCL1HREG         234 drivers/rtc/rtc-vr41xx.c 	rtc1_write(RTCL1HREG, count >> 16);
RTCL1HREG         297 drivers/rtc/rtc-vr41xx.c 	rtc1_write(RTCL1HREG, 0);