1/*
2 * Copyright (c) 2007, 2008, 2009, 2010, 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 glue_bench "The bench Interface" {
11
12        /* Messages for flounder_stub_bench */
13        message fsb_init_msg(uint8 coreid);
14
15	message fsb_payload_request(int word0, int word1, int word2, int word3);
16	message fsb_payload_reply(int word0, int word1, int word2, int word3);
17
18	message fsb_payload1_request(int word0);
19	message fsb_payload1_reply(int word0);
20
21	message fsb_payload2_request(int word0, int word1);
22	message fsb_payload2_reply(int word0, int word1);
23
24	message fsb_payload8_request(int word0, int word1, int word2, int word3,
25			 	     int word4, int word5, int word6, int word7);
26	message fsb_payload8_reply(int word0, int word1, int word2, int word3,
27			 	   int word4, int word5, int word6, int word7);
28
29	message fsb_payload16_request(int word0, int word1, int word2, int word3,
30			 	      int word4, int word5, int word6, int word7,
31				      int word8, int word9, int word10, int word11,
32			 	      int word12, int word13, int word14, int word15);
33	message fsb_payload16_reply(int word0, int word1, int word2, int word3,
34			 	    int word4, int word5, int word6, int word7,
35				    int word8, int word9, int word10, int word11,
36			 	    int word12, int word13, int word14, int word15);
37
38	message fsb_empty_request();
39	message fsb_empty_reply();
40};
41