1#include <stdio.h> 2#include <barrelfish/barrelfish.h> 3#include <bench/bench.h> 4 5#define ITERATIONS 100000000 6 7int main(int argc, char *argv[]) 8{ 9 bench_init(); 10 int k = 300; 11 while(k--) { 12 13 uint64_t start = bench_tsc(); 14 for (volatile int i = 0; i < ITERATIONS; i++); 15 uint64_t end = bench_tsc(); 16 17 printf("%"PRIu64"\n", end - start); 18 } 19 20 return EXIT_SUCCESS; 21} 22