[Xen-changelog] [xen-unstable] vmx: Fix VMCS state pretty printing.

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Keir Fraser <keir@xxxxxxxxxxxxx>
# Date 1190389937 -3600
# Node ID 517432b9f8b585df5b22ec3682ffba416e718d22
# Parent  40bf3ffff48425057117bfabcc1243250ae48cee
vmx: Fix VMCS state pretty printing.
Signed-off-by: Keir Fraser <keir@xxxxxxxxxxxxx>
---
 xen/arch/x86/hvm/vmx/vmcs.c |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff -r 40bf3ffff484 -r 517432b9f8b5 xen/arch/x86/hvm/vmx/vmcs.c
--- a/xen/arch/x86/hvm/vmx/vmcs.c       Thu Sep 20 16:02:22 2007 +0100
+++ b/xen/arch/x86/hvm/vmx/vmcs.c       Fri Sep 21 16:52:17 2007 +0100
@@ -652,7 +652,7 @@ static void vmx_dump_sel(char *name, enu
 {
     struct segment_register sreg;
     hvm_get_segment_register(current, seg, &sreg);
-    printk("%s: sel=0x%04x, attr=0x%04x, limit=0x%08x, base=0x%016llx\n", 
+    printk("%s: sel=0x%04x, attr=0x%05x, limit=0x%08x, base=0x%016llx\n", 
            name, sreg.sel, sreg.attr.bytes, sreg.limit,
            (unsigned long long)sreg.base);
 }
@@ -691,8 +691,8 @@ void vmcs_dump_vcpu(void)
            (unsigned long long)vmr(GUEST_RSP),
            (unsigned long long)vmr(GUEST_RIP));
     printk("RFLAGS=0x%016llx  DR7 = 0x%016llx\n", 
-           (unsigned long long)vmr(GUEST_DR7),
-           (unsigned long long)vmr(GUEST_RFLAGS));
+           (unsigned long long)vmr(GUEST_RFLAGS),
+           (unsigned long long)vmr(GUEST_DR7));
     printk("Sysenter RSP=%016llx CS:RIP=%04x:%016llx\n",
            (unsigned long long)vmr(GUEST_SYSENTER_ESP),
            (int)vmr(GUEST_SYSENTER_CS),

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