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