This warning no longer corresponds to what the code actually does.
Signed-off-by: Tim Deegan <Tim.Deegan@citrix.com>
xen-unstable changeset: 22800:
c50ae9d5dda4
xen-unstable date: Tue Jan 25 14:05:25 2011 +0000
if ( hdr->gtsc_khz )
d->arch.tsc_khz = hdr->gtsc_khz;
if ( d->arch.vtsc )
- {
hvm_set_rdtsc_exiting(d, 1);
- gdprintk(XENLOG_WARNING, "Domain %d expects freq %uMHz "
- "but host's freq is %luMHz: trap and emulate rdtsc\n",
- d->domain_id, hdr->gtsc_khz / 1000, cpu_khz / 1000);
- }
/* VGA state is not saved/restored, so we nobble the cache. */
d->arch.hvm_domain.stdvga.cache = 0;