On Fri, 2024-05-10 at 17:03 +0800, Chenyi Qiang wrote:
> 
> Do we need to track vcpu->arch.this_tsc_nsec/this_tsc_write? At least
> they are still used in compute_guest_tsc() to calculate the guest
> tsc.

Ah yes, that's true. Good catch; thanks.

That should be caught by a test case which runs the guest TSC at a
higher speed than the host, but *without* hardware TSC scaling.

Attachment: smime.p7s
Description: S/MIME cryptographic signature

Reply via email to