[Xen-devel] [PATCH 5/6] X86: MPX IA32_BNDCFGS msr dump

["Liu, Jinsong" <jinsong.liu@xxxxxxxxx>]

From 00d1af4ee854b033a3cffa5abd1031a3c2da3b03 Mon Sep 17 00:00:00 2001
From: Liu Jinsong <jinsong.liu@xxxxxxxxx>
Date: Thu, 28 Nov 2013 10:03:24 +0800
Subject: [PATCH 5/6] X86: MPX IA32_BNDCFGS msr dump

Signed-off-by: Liu Jinsong <jinsong.liu@xxxxxxxxx>
---
 tools/misc/xen-hvmctx.c |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)

diff --git a/tools/misc/xen-hvmctx.c b/tools/misc/xen-hvmctx.c
index 5a69245..b3e4b2b 100644
--- a/tools/misc/xen-hvmctx.c
+++ b/tools/misc/xen-hvmctx.c
@@ -399,6 +399,13 @@ static void dump_tsc_adjust(void)
     printf("    TSC_ADJUST: tsc_adjust %" PRIx64 "\n", p.tsc_adjust);
 }
 
+static void dump_msr_bndcfgs(void)
+{
+    HVM_SAVE_TYPE(MSR_BNDCFGS) p;
+    READ(p);
+    printf("    MSR_BNDCFGS: %" PRIx64 "\n", p.msr_bndcfgs);
+}
+
 int main(int argc, char **argv)
 {
     int entry, domid;
@@ -467,6 +474,7 @@ int main(int argc, char **argv)
         case HVM_SAVE_CODE(VIRIDIAN_VCPU): dump_viridian_vcpu(); break;
         case HVM_SAVE_CODE(VMCE_VCPU): dump_vmce_vcpu(); break;
         case HVM_SAVE_CODE(TSC_ADJUST): dump_tsc_adjust(); break;
+        case HVM_SAVE_CODE(MSR_BNDCFGS): dump_msr_bndcfgs(); break;
         case HVM_SAVE_CODE(END): break;
         default:
             printf(" ** Don't understand type %u: skipping\n",
-- 
1.7.1

Attachment: 0005-X86-MPX-IA32_BNDCFGS-msr-dump.patch
Description: 0005-X86-MPX-IA32_BNDCFGS-msr-dump.patch

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel