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

/barrelfish-2018-10-04/usr/bench/
H A Dbench.c115 static void xchg_benchmark(void) function
302 print_result(benchmark(xchg_benchmark));

Completed in 27 milliseconds