sirq_printf("event received - xmt\r\n");
#endif
- if (tdma_stamp(tdma_evt, &event))
+ if (tdma_stamp(tdma_evt, &event)) {
comm_send_event(0, event);
- tdma_stop(tdma_evt, 0);
- tdma_start(tdma_evt);
+ tdma_stop(tdma_evt, 0);
+ tdma_start(tdma_evt);
+ }
}
void task_sync(uint64_t local, uint64_t world)