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_init(uint16_t device, uint64_t local);
23 void comm_send_sync(sirq_t *port, uint64_t now);
24 void comm_send_event(sirq_t *port, uint16_t event, uint64_t local);
29 void comm_handle_init(int msgid, init_msg_t *msg);
30 void comm_handle_sync(int msgid, sync_msg_t *msg);
31 void comm_handle_event(int msgid, event_msg_t *msg);