1#ifndef BENCHMARK_H
2#define BENCHMARK_H
3
4#include <bench/bench.h>
5
6#define NUM_OF_RECORDS 64
7
8struct stats {
9	// Barrelfish -> Net
10	cycles_t last_packet_receive_from_bf_ts;
11	cycles_t last_packet_transmit_to_net_ts;
12	cycles_t from_bf_to_net_diff[NUM_OF_RECORDS];
13	int bf_to_net_i;
14
15	//Net -> Barrelfish
16	cycles_t last_packet_receive_net_ts;
17	cycles_t last_packet_transmit_to_bf_ts;
18	cycles_t from_net_to_bf_diff[NUM_OF_RECORDS];
19	int net_to_bf_i;
20};
21
22void record_packet_receive_from_bf(void);
23void record_packet_transmit_to_net(void);
24
25void record_packet_receive_from_net(void);
26void record_packet_transmit_to_bf(void);
27
28void print_bench_stats(void);
29
30#endif
31