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

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Drtc.h54 } rtc_t; typedef in typeref:struct:__anon713
68 int rtc_stop(rtc_t *rtc);
69 int rtc_start(rtc_t *rtc);
70 uint32_t rtc_get_time(rtc_t *rtc);
71 int rtc_init(rtc_t *rtc, rtc_config_t config);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Drtc.c43 rtc_get_regs(rtc_t *rtc)
50 int rtc_start(rtc_t *rtc)
64 int rtc_stop(rtc_t *rtc)
71 uint32_t rtc_get_time(rtc_t *rtc)
77 int rtc_init(rtc_t *rtc, rtc_config_t config)

Completed in 80 milliseconds