Searched defs:sel4bench_get_counter_description (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/seL4_libs/libsel4bench/src/ | ||
| H A D | event_counters.c | 17 sel4bench_get_counter_description(counter_t counter) function |
Completed in 21 milliseconds