Start working on serial relay

[~andy/csm213a-hw] / hw2 / main_comm.h

diff --git a/hw2/main_comm.h b/hw2/main_comm.h
index 299b223b82bce61164f23ddbd91f4dc514a6c580..65df019fa5e1a9d429d3215e5fb41825088d520f 100644 (file)
--- a/hw2/main_comm.h
+++ b/hw2/main_comm.h
@@ -19,16 +19,15 @@ void comm_init(sirq_t *dbg, sirq_t *bbb, sirq_t *mbed,
 /**
  * Output initialization message init message
  */
-void comm_send_init(uint16_t device, uint64_t local);
-void comm_send_sync(sirq_t *port, uint64_t now);
-void comm_send_event(sirq_t *port, uint16_t event, uint64_t local);
+void comm_send_sync(uint64_t local);
+void comm_send_event(uint16_t event, uint64_t local);
 
 /**
  * Handle init message
  */
-void comm_handle_init(int msgid, init_msg_t *msg);
-void comm_handle_sync(int msgid, sync_msg_t *msg);
-void comm_handle_event(int msgid, event_msg_t *msg);
+void comm_handle_init(header_t *head, init_msg_t *body);
+void comm_handle_sync(header_t *head, sync_msg_t *body);
+void comm_handle_event(header_t *head, event_msg_t *body);
 
 #ifdef __cplusplus
 }