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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Drtc.c62 static void read_rtc(ps_io_port_ops_t *port_ops, unsigned int century_reg, rtc_raw_t *time_date) argument
67 time_date->second = get_RTC_register(port_ops, 0x00);
68 time_date->minute = get_RTC_register(port_ops, 0x02);
69 time_date->hour = get_RTC_register(port_ops, 0x04);
70 time_date->day = get_RTC_register(port_ops, 0x07);
71 time_date->month = get_RTC_register(port_ops, 0x08);
72 time_date->year = get_RTC_register(port_ops, 0x09);
74 time_date->century = get_RTC_register(port_ops, century_reg);
76 time_date->century = 0;
85 int rtc_get_time_date_reg(ps_io_port_ops_t *io_port_ops, unsigned int century_reg, rtc_time_date_t *time_date) argument
[all...]
/seL4-camkes-master/projects/global-components/components/RTC/src/
H A Drtc.c20 rtc_time_date_t time_date; local
25 error = rtc_get_time_date_reg(&ops, 0, &time_date);
27 return time_date;
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Drtc.h34 * @param time_date time and date structure to fill in
37 int rtc_get_time_date_reg(ps_io_port_ops_t *io_port_ops, unsigned int century_reg, rtc_time_date_t *time_date);
53 * @param time_date time and date structure to fill in
56 static inline int rtc_get_time_date(ps_io_port_ops_t *io_port_ops, acpi_t *acpi, rtc_time_date_t *time_date) argument
58 return rtc_get_time_date_reg(io_port_ops, rtc_get_century_register(acpi), time_date);

Completed in 90 milliseconds