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

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

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@lists.xensource.com
http://lists.xensource.com/xen-devel