Searched refs:rtc_get_paddr (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ | ||
H A D | rtc.h | 28 static inline void *rtc_get_paddr(rtc_id_t id) { function |
Completed in 80 milliseconds