Searched refs:sel4bench_cpu_get_num_counters (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a53/
H A Devent_counters.c24 sel4bench_cpu_get_num_counters(void) function
/seL4-test-master/projects/seL4_libs/libsel4bench/src/arch/arm/
H A Devent_counters.c21 } else if (counter < sel4bench_cpu_get_num_counters()) {
H A Devent_counters.h23 extern int sel4bench_cpu_get_num_counters(void);
/seL4-test-master/projects/seL4_libs/libsel4bench/src/arch/arm/cpu/arm1136jf-s/
H A Devent_counters.c51 sel4bench_cpu_get_num_counters(void) function
/seL4-test-master/projects/seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a8/
H A Devent_counters.c49 sel4bench_cpu_get_num_counters(void) function
/seL4-test-master/projects/seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a15/
H A Devent_counters.c62 sel4bench_cpu_get_num_counters(void) function
/seL4-test-master/projects/seL4_libs/libsel4bench/src/arch/arm/cpu/cortex-a9/
H A Devent_counters.c58 sel4bench_cpu_get_num_counters(void) function

Completed in 241 milliseconds