+ 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
|