1.1 --- a/xen/arch/x86/hvm/save.c	Thu Jun 25 13:06:44 2009 +0100
     1.2 +++ b/xen/arch/x86/hvm/save.c	Thu Jun 25 13:12:32 2009 +0100
     1.3 @@ -66,9 +66,9 @@ int arch_hvm_load(struct domain *d, stru
     1.4      if ( hdr->gtsc_khz && hvm_gtsc_need_scale(d) )
     1.5      {
     1.6          hvm_enable_rdtsc_exiting(d);
     1.7 -        gdprintk(XENLOG_WARNING, "Loading VM(id:%d) expects freq: %dmHz, "
     1.8 -                "but host's freq :%"PRIu64"mHz, trap and emulate rdtsc!!!\n",
     1.9 -                d->domain_id, hdr->gtsc_khz / 1000, opt_softtsc ? 1000 :
    1.10 +        gdprintk(XENLOG_WARNING, "Domain %d expects freq %uMHz "
    1.11 +                "but host's freq is %luMHz: trap and emulate rdtsc\n",
    1.12 +                d->domain_id, hdr->gtsc_khz / 1000, opt_softtsc ? 1000ul :
    1.13                  cpu_khz / 1000);
    1.14      }
    1.15