On 08/05/19 23:47, Sean Christopherson wrote: > + > + /* > + * The first vCPU to get a stable advancement time "wins" and > + * sets the advancement time that is used for *new* vCPUS that > + * are created with auto-adjusting enabled. > + */ > + if (apic->lapic_timer.timer_advance_adjust_done) > + (void)cmpxchg(&adjusted_timer_advance_ns, -1, > + timer_advance_ns); This is relatively expensive, so it should only be done after setting timer_advance_adjust_done to true. Paolo