Searched defs:sel4bench_set_count_event (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/
H A Dsel4bench.h153 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) function
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/
H A Dsel4bench.h145 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) function
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h181 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) function
/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/riscv/sel4bench/arch/
H A Dsel4bench.h143 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) function

Completed in 29 milliseconds