Searched defs:timer_config (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/ | ||
H A D | custom_simple.h | 44 typedef struct timer_config { struct 76 timer_config_t timer_config; member in struct:custom_simple |
Completed in 27 milliseconds