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