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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Dtimer.c213 static inline char *ttc_get_device_path(ttc_id_t id) function
584 char *device_path = ttc_get_device_path(config.id);

Completed in 26 milliseconds