Re: [PATCH v2 0/3] SEV-ES TSC_AUX virtualization fix and optimization

[Paolo Bonzini]

Queued, thanks.  The part that stood out in patch 2 is the removal of
svm_clr_intercept(), which also applies when the initialization is done
in the wrong place.  Either way, svm_clr_intercept() is always going
to be called by svm_recalc_instruction_intercepts() if guest has the
RDTSC bit in its CPUID.

So I extracted that into a separate patch and squashed the rest of
patch 2 into patch 1.

Paolo