On Tue, 6 Sep 2016, Waiman Long wrote: > > This is done by using a combination word with a sequence number and > a bit lock. The CPU that gets the bit lock will be responsible for > reading the HPET counter and update the sequence number. The others > will monitor the change in sequence number and grab the HPET counter > value accordingly. This change is only enabled on SMP configuration.
That hardly matches the implementation.
Thanks,
tglx
