1#include <stdio.h>
2#include <string.h>
3#include <inttypes.h>
4#include <barrelfish/barrelfish.h>
5
6#define MEASUREMENTS    1000000
7
8int main(int argc, char *argv[])
9{
10    char a[1024], b[1024];
11    uint64_t sum = 0;
12
13    for(int i = 0; i < MEASUREMENTS; i++) {
14        uint64_t start = rdtsc();
15        memcpy(a, b, 1024);
16        uint64_t end = rdtsc();
17        sum += end - start;
18    }
19
20    printf("avg duration: %" PRIu64 " cycles\n", sum / MEASUREMENTS);
21
22  /* for(;;); */
23  return 0;
24}
25