ECMPHREG          142 drivers/rtc/rtc-vr41xx.c 	high = rtc1_read(ECMPHREG);
ECMPHREG          165 drivers/rtc/rtc-vr41xx.c 	rtc1_write(ECMPHREG, (uint16_t)(alarm_sec >> 17));
ECMPHREG          295 drivers/rtc/rtc-vr41xx.c 	rtc1_write(ECMPHREG, 0);