On Thu, Jun 06, 2019 at 08:37:59PM +0000, Keller, Jacob E wrote: > No. We use the timecounter to track the time offset, not the > frequency. That is, our hardware can't represent 64bits of time, but > it can adjust frequency. The time counter is used to track the > adjustments from adjtime and set time, but not adjfreq.
Ah, okay. Never mind then... carry on! Thanks, Richard