Searched refs:device_time (Results 1 – 1 of 1) sorted by relevance
74 uint32_t device_time = k_uptime_get() / MSEC_PER_SEC + ctx.time_offset; in clock_sync_serialize_device_time() local80 buf[0] = (device_time >> 0) & 0xFF; in clock_sync_serialize_device_time()81 buf[1] = (device_time >> 8) & 0xFF; in clock_sync_serialize_device_time()82 buf[2] = (device_time >> 16) & 0xFF; in clock_sync_serialize_device_time()83 buf[3] = (device_time >> 24) & 0xFF; in clock_sync_serialize_device_time()
