mv_rtc_reg_read
static inline uint32_t mv_rtc_reg_read(struct mv_rtc_softc *sc,
val = mv_rtc_reg_read(sc, RTC_TIME);
val_check = mv_rtc_reg_read(sc, RTC_TIME);
if ((mv_rtc_reg_read(sc, RTC_CLOCK_CORR) & RTC_NOMINAL_TIMING_MASK) !=
val = mv_rtc_reg_read(sc, MV_RTC_TIME_REG);
val = mv_rtc_reg_read(sc, MV_RTC_DATE_REG);
static uint32_t mv_rtc_reg_read(struct mv_rtc_softc *sc, bus_size_t off);