Searched refs:generic_timer_get_init (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/ | ||
| H A D | generic_timer.c | 28 int generic_timer_get_init(generic_timer_t *timer) function |
Completed in 72 milliseconds