Searched refs:rtc_read (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/hw/arch/x86/
H A Dclock.c194 rtc_read(uint8_t reg) function
216 while (rtc_read(RTC_STATUS_A) & RTC_UIP)
219 dt.dt_sec = bcdtobin(rtc_read(RTC_SEC));
220 dt.dt_min = bcdtobin(rtc_read(RTC_MIN));
221 dt.dt_hour = bcdtobin(rtc_read(RTC_HOUR));
222 dt.dt_day = bcdtobin(rtc_read(RTC_DAY));
223 dt.dt_mon = bcdtobin(rtc_read(RTC_MONTH));
224 dt.dt_year = bcdtobin(rtc_read(RTC_YEAR)) + 2000;

Completed in 30 milliseconds