Can you clarify that when using ADJ_TAI that you need to fill in TAI-UTC, so currently +37, and not UTC-TAI as published by BIPM and currently -37?
It would also be useful to describe what happens to the clocks. I assume that CLOCK_REALTIME doesn't change, and that CLOCK_TAI will be CLOCK_REALTIME + buf.constant. I also assume that buf.tai will be set to buf.constant on return.
Can you clarify that when using ADJ_TAI that you need to fill in TAI-UTC, so currently +37, and not UTC-TAI as published by BIPM and currently -37?
It would also be useful to describe what happens to the clocks. I assume that CLOCK_REALTIME doesn't change, and that CLOCK_TAI will be CLOCK_REALTIME + buf.constant. I also assume that buf.tai will be set to buf.constant on return.