Searched defs:TIMER_INTERFACE (Results 1 - 1 of 1) sorted by path

/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/
H A Dcustom_simple.h29 TIMER_INTERFACE, enumerator in enum:timer_variant

Completed in 108 milliseconds