Searched refs:rtc_scaler (Results 1 – 1 of 1) sorted by relevance
171 static uint32_t rtc_scaler; variable527 rtc_scaler = 0xff; in mec_reset()670 *data = rtc_scaler - (now() - rtc_scaler_start); in mec_read()672 *data = rtc_scaler; in mec_read()1391 event(rtc_intr, 0, rtc_scaler + 1); in rtc_intr()1405 printf("RTC started (period %d)\n\r", rtc_scaler + 1); in rtc_start()1406 event(rtc_intr, 0, rtc_scaler + 1); in rtc_start()1420 rtc_scaler = val & 0x0ff; /* eight-bit scaler only */ in rtc_scaler_set()