ia64/xen-unstable

changeset 15953:517432b9f8b5

vmx: Fix VMCS state pretty printing.
Signed-off-by: Keir Fraser <keir@xensource.com>
author Keir Fraser <keir@xensource.com>
date Fri Sep 21 16:52:17 2007 +0100 (2007-09-21)
parents 40bf3ffff484
children 7ed576909132
files xen/arch/x86/hvm/vmx/vmcs.c
line diff
     1.1 --- a/xen/arch/x86/hvm/vmx/vmcs.c	Thu Sep 20 16:02:22 2007 +0100
     1.2 +++ b/xen/arch/x86/hvm/vmx/vmcs.c	Fri Sep 21 16:52:17 2007 +0100
     1.3 @@ -652,7 +652,7 @@ static void vmx_dump_sel(char *name, enu
     1.4  {
     1.5      struct segment_register sreg;
     1.6      hvm_get_segment_register(current, seg, &sreg);
     1.7 -    printk("%s: sel=0x%04x, attr=0x%04x, limit=0x%08x, base=0x%016llx\n", 
     1.8 +    printk("%s: sel=0x%04x, attr=0x%05x, limit=0x%08x, base=0x%016llx\n", 
     1.9             name, sreg.sel, sreg.attr.bytes, sreg.limit,
    1.10             (unsigned long long)sreg.base);
    1.11  }
    1.12 @@ -691,8 +691,8 @@ void vmcs_dump_vcpu(void)
    1.13             (unsigned long long)vmr(GUEST_RSP),
    1.14             (unsigned long long)vmr(GUEST_RIP));
    1.15      printk("RFLAGS=0x%016llx  DR7 = 0x%016llx\n", 
    1.16 -           (unsigned long long)vmr(GUEST_DR7),
    1.17 -           (unsigned long long)vmr(GUEST_RFLAGS));
    1.18 +           (unsigned long long)vmr(GUEST_RFLAGS),
    1.19 +           (unsigned long long)vmr(GUEST_DR7));
    1.20      printk("Sysenter RSP=%016llx CS:RIP=%04x:%016llx\n",
    1.21             (unsigned long long)vmr(GUEST_SYSENTER_ESP),
    1.22             (int)vmr(GUEST_SYSENTER_CS),