10 #include "timer_dma.h"
11 #include "serial_irq.h"
16 void comm_init(sirq_t *dbg, sirq_t *bbb, sirq_t *mbed,
17 tdma_t *rcv, tdma_t *xmt);
20 * Output initialization message init message
22 void comm_send_sync(uint64_t local);
23 void comm_send_event(uint16_t event, uint64_t local);
28 void comm_handle_init(header_t *head, init_msg_t *body);
29 void comm_handle_sync(header_t *head, sync_msg_t *body);
30 void comm_handle_event(header_t *head, event_msg_t *body);