MA35_REG_RTC_TIME
time = rtc_reg_read(rtc, MA35_REG_RTC_TIME);
} while (time != rtc_reg_read(rtc, MA35_REG_RTC_TIME) ||
rtc_reg_write(rtc, MA35_REG_RTC_TIME, val);