Searched refs:sel4bench_private_rdpmc (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h159 uint64_t counter_val = sel4bench_private_rdpmc(counter);
172 values[counter] = sel4bench_private_rdpmc(counter);
H A Dprivate.h146 static FASTFN uint64_t sel4bench_private_rdpmc(uint32_t counter) function

Completed in 24 milliseconds