On 10/1/2024 9:56 AM, Nikunj A. Dadhania wrote: > Also I realized that, for the guests, instead of rdtsc(), we should be > calling rdtsc_ordered() to make sure that time moves forward even when > vCPUs are migrated. The above is with reference to native_sched_clock() being used for VM instead of kvm_sched_clock_read() when using TSC. Regards Nikunj