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