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

/barrelfish-master/usr/bench/bomp_mm/
H A Dmm.c71 cycles_t timer_share = 0; variable
386 timer_share = bench_time_diff(tsc_start, tsc_end);
540 debug_printf("Share Time: %lu (%lu ms)\n", timer_share,
541 bench_tsc_to_ms(timer_share));
554 cycles_t timer_xomp = timer_common + timer_xompinit + timer_share;

Completed in 29 milliseconds