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

/seL4-camkes-master/projects/global-components/components/RTC/src/
H A Drtc.c18 rtc_time_date_t rtc_time_date(void) function
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Drtc.h17 typedef struct rtc_time_date { struct

Completed in 42 milliseconds