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

/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h127 uint64_t time = sel4bench_private_rdtsc();
175 uint64_t time = sel4bench_private_rdtsc();
H A Dprivate.h136 static FASTFN uint64_t sel4bench_private_rdtsc() function

Completed in 42 milliseconds