// Convert timestamp
uint64_t world = time_to_world(local);
- ntime_t ntime = serial_write_time(world);
+ ntime_t ltime = serial_write_time(local);
+ ntime_t wtime = serial_write_time(world);
// Message data
header_t head = {};
body.device = serial_device_id;
body.event = event;
- body.time = ntime;
+ body.world = ltime;
+ body.local = wtime;
// Transmit message to BBB
sirq_write(port, &head, sizeof(head));