ECMPMREG          141 drivers/rtc/rtc-vr41xx.c 	mid = rtc1_read(ECMPMREG);
ECMPMREG          164 drivers/rtc/rtc-vr41xx.c 	rtc1_write(ECMPMREG, (uint16_t)(alarm_sec >> 1));
ECMPMREG          294 drivers/rtc/rtc-vr41xx.c 	rtc1_write(ECMPMREG, 0);