Searched refs:time_date (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | rtc.c | 62 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 D | rtc.c | 20 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 D | rtc.h | 34 * @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