This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
Home Products Support Community News


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

To: xen-changelog@xxxxxxxxxxxxxxxxxxx
Subject: [Xen-changelog] [xen-unstable] vmx: Fix VMCS state pretty printing.
From: Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>
Date: Wed, 26 Sep 2007 03:41:03 -0700
Delivery-date: Wed, 26 Sep 2007 04:28:02 -0700
Envelope-to: www-data@xxxxxxxxxxxxxxxxxx
List-help: <mailto:xen-changelog-request@lists.xensource.com?subject=help>
List-id: BK change log <xen-changelog.lists.xensource.com>
List-post: <mailto:xen-changelog@lists.xensource.com>
List-subscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-changelog>, <mailto:xen-changelog-request@lists.xensource.com?subject=subscribe>
List-unsubscribe: <http://lists.xensource.com/cgi-bin/mailman/listinfo/xen-changelog>, <mailto:xen-changelog-request@lists.xensource.com?subject=unsubscribe>
Reply-to: xen-devel@xxxxxxxxxxxxxxxxxxx
Sender: xen-changelog-bounces@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),

Xen-changelog mailing list

<Prev in Thread] Current Thread [Next in Thread>
  • [Xen-changelog] [xen-unstable] vmx: Fix VMCS state pretty printing., Xen patchbot-unstable <=