ECMPLREG          140 drivers/rtc/rtc-vr41xx.c 	low = rtc1_read(ECMPLREG);
ECMPLREG          163 drivers/rtc/rtc-vr41xx.c 	rtc1_write(ECMPLREG, (uint16_t)(alarm_sec << 15));
ECMPLREG          293 drivers/rtc/rtc-vr41xx.c 	rtc1_write(ECMPLREG, 0);