1/**
2 * \file
3 * \brief
4 */
5
6/*
7 * Copyright (c) 2007, 2008, ETH Zurich.
8 * All rights reserved.
9 *
10 * This file is distributed under the terms in the attached LICENSE file.
11 * If you do not find this file, copies can be found by writing to:
12 * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
13 */
14
15#ifndef URPC_BENCH_H
16#define URPC_BENCH_H
17
18#include <stdlib.h>
19#include <stdio.h>
20
21#include <barrelfish/barrelfish.h>
22#include <barrelfish/dispatch.h>
23#include <if/monitor_defs.h>
24
25#include <bench/bench.h>
26#include <if/bench_defs.h>
27
28#define NUM_MSGS 16
29
30struct timestamps {
31    cycles_t time0;
32    cycles_t time1;
33};
34
35extern struct bench_binding *array[MAX_CPUS];
36extern coreid_t my_core_id;
37
38void experiment(coreid_t index);
39
40#endif // URPC_BENCH_H
41