2018-11-09 09:35-0800, Jim Mattson: > Let the guest read the IA32_TSC MSR with the generic RDMSR instruction > as well as the specific RDTSC(P) instructions. Note that the hardware > applies the TSC multiplier and offset (when applicable) to the result of > RDMSR(IA32_TSC), just as it does to the result of RDTSC(P). > > Signed-off-by: Jim Mattson <jmattson@xxxxxxxxxx> > Reviewed-by: Peter Shier <pshier@xxxxxxxxxx> > Reviewed-by: Marc Orr <marcorr@xxxxxxxxxx> > --- Queued, thanks.