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

/barrelfish-2018-10-04/usr/bench/
H A Dbench.c127 static void cmpxchg_benchmark(void) function
305 print_result(benchmark(cmpxchg_benchmark));

Completed in 28 milliseconds