Searched defs:odroidc2_timer (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dltimer.c78 odroidc2_ltimer_t *odroidc2_timer = data; local
98 odroidc2_ltimer_t *odroidc2_timer = data; local
112 odroidc2_ltimer_t *odroidc2_timer = data; local
152 odroidc2_ltimer_t *odroidc2_timer local
161 odroidc2_ltimer_t *odroidc2_timer = data; local
202 odroidc2_ltimer_t *odroidc2_timer = ltimer->data; local
[all...]

Completed in 33 milliseconds