Re: [Xen-devel] [PATCH] TSC scaling for live migration between platforms with different TSC frequecies

[Patrick Colp <pjcolp@xxxxxxxxx>]

> +        printk("Migrate to a platform with different freq:%ldMhz, "
> +            "expected freq:%dMhz, enable rdtsc exiting!\n",
> +                    cpu_khz / 1000, hdr->gtsc_khz / 1000);
Being pedantic, this should probably be:

    printk("Migrate to a platform with different freq: %ldMHz, "
           "expected freq: %dMHz, enable rdtsc exiting!\n",
            cpu_khz / 1000, hdr->gtsc_khz / 1000);


Patrick

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel