[Xen-devel] [PATCH] add recently added gtsc_khz field to xen-hvmctx output

[Dan Magenheimer <dan.magenheimer@xxxxxxxxxx>]

Signed-off-by: Dan Magenheimer <dan.magenheimer@xxxxxxxxxx>

diff -r c1f2b68b6dca tools/misc/xen-hvmctx.c
--- a/tools/misc/xen-hvmctx.c   Wed Oct 28 17:27:47 2009 +0000
+++ b/tools/misc/xen-hvmctx.c   Tue Oct 27 15:20:43 2009 -0600
@@ -73,6 +73,7 @@ static void dump_header(void)
     printf("             Xen changeset %llx\n", 
            (unsigned long long) h.changeset);
     printf("             CPUID[0][%%eax] 0x%.8lx\n", (unsigned long) h.cpuid);
+    printf("             gtsc_khz %lu\n", (unsigned long) h.gtsc_khz);
 }
 
 struct fpu_mm {

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