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

/seL4-camkes-master/tools/rumprun/platform/sel4/arch/arm/
H A Dclock.c42 timer_config_t *simple_timer_config = &env.custom_simple.timer_config;
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/apq8064/platsupport/plat/
H A Dtimer.h134 } timer_config_t; typedef in typeref:struct:__anon701
163 int timer_init(timer_t *timer, timer_config_t config);
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/
H A Dcustom_simple.h57 } timer_config_t; typedef in typeref:struct:timer_config
76 timer_config_t timer_config;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/
H A Dtimer.c478 int timer_init(timer_t *timer, timer_config_t config)

Completed in 58 milliseconds