Re: timekeep: fixing large skews on amd64 with RDTSCP

[Theo de Raadt]

> Note the third sentence.
> 
> Given that, I reason that a serializing instruction before *and* after
> the RDTSC should freeze it in place.

I haven't seen anyone read it that way.