Searched refs:ttc_config_t (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h69 } ttc_config_t; typedef in typeref:struct:__anon6
94 int ttc_init(ttc_t *ttc, ttc_config_t config);
/seL4-refos-master/libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Dtimer.h69 } ttc_config_t; typedef in typeref:struct:__anon2
94 int ttc_init(ttc_t *ttc, ttc_config_t config);
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dltimer.c135 ttc_config_t config = {
142 ttc_config_t config_timestamp = {
H A Dtimer.c569 int ttc_init(ttc_t *ttc, ttc_config_t config)
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/
H A Dltimer.c135 ttc_config_t config = {
142 ttc_config_t config_timestamp = {
H A Dtimer.c569 int ttc_init(ttc_t *ttc, ttc_config_t config)

Completed in 28 milliseconds