1/*
2 * Copyright (c) 2007, 2008, 2009, 2010, 2011 ETH Zurich.
3 * All rights reserved.
4 *
5 * This file is distributed under the terms in the attached LICENSE file.
6 * If you do not find this file, copies can be found by writing to:
7 * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
8 */
9
10interface bcast "The bcast Interface" {
11	message bcast_id_request(uint8 type);
12	message bcast_id_reply(uint64 data);
13
14	message bcast_init_alloc_request();
15	message bcast_init_alloc_reply();
16	message bcast_init_request();
17	message bcast_init_reply();
18
19	message bcast_backend_send(uint64 id, uint8 coreid, uint64 mask,
20                                   uint64 payload1, uint64 payload2,
21          			   uint64 payload3);
22
23	message token_request();
24	message token_reply();
25        message init_request(uint8 coreid);
26        message init_reply();
27        message bsp_id_request(uint8 coreid);
28        message bsp_id_reply();
29
30        message experiment_init_request(uint8 max_cpus);
31        message experiment_init_reply();
32
33        message experiment_start();
34        message experiment_done();
35
36	message ssf(uint8 id, uint64 pyaload, uint64 timestamp);
37	message jump(uint8 id, uint64 timestamp);
38	message acknowledgement(uint8 id, uint64 time);
39
40	message sequencer_bcast_request();
41	message sequencer_ready();
42	message dummy();
43	message sequencer_commit_request();
44	message sequencer_commit_reply();
45
46        message wait_request();
47        message wait_reply();
48
49        message ring_request();
50        message ring_reply();
51};
52