[Xen-changelog] [xen-unstable] svm: dump VMCB physical address

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

# HG changeset patch
# User Keir Fraser <keir@xxxxxxx>
# Date 1291746619 0
# Node ID d4b35162b3a11f7d9c28501192b7e231609e561d
# Parent  da2407300a6d206b479f6f8ecb398b7414f0509a
svm: dump VMCB physical address

VMCB physical address is useful for hardware debug. This small patch
dumps VMCB physical address.

Signed-off-by: Wei Huang <wei.huang2@xxxxxxx>
---
 xen/arch/x86/hvm/svm/vmcb.c |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff -r da2407300a6d -r d4b35162b3a1 xen/arch/x86/hvm/svm/vmcb.c
--- a/xen/arch/x86/hvm/svm/vmcb.c       Tue Dec 07 18:28:19 2010 +0000
+++ b/xen/arch/x86/hvm/svm/vmcb.c       Tue Dec 07 18:30:19 2010 +0000
@@ -312,8 +312,8 @@ void svm_dump_vmcb(const char *from, str
 void svm_dump_vmcb(const char *from, struct vmcb_struct *vmcb)
 {
     printk("Dumping guest's current state at %s...\n", from);
-    printk("Size of VMCB = %d, address = %p\n", 
-            (int) sizeof(struct vmcb_struct), vmcb);
+    printk("Size of VMCB = %d, paddr = 0x%016lx, vaddr = %p\n",
+           (int) sizeof(struct vmcb_struct),  virt_to_maddr(vmcb), vmcb);
 
     printk("cr_intercepts = 0x%08x dr_intercepts = 0x%08x "
            "exception_intercepts = 0x%08x\n", 
@@ -321,7 +321,7 @@ void svm_dump_vmcb(const char *from, str
            vmcb->exception_intercepts);
     printk("general1_intercepts = 0x%08x general2_intercepts = 0x%08x\n", 
            vmcb->general1_intercepts, vmcb->general2_intercepts);
-    printk("iopm_base_pa = %016llx msrpm_base_pa = 0x%016llx tsc_offset = "
+    printk("iopm_base_pa = 0x%016llx msrpm_base_pa = 0x%016llx tsc_offset = "
             "0x%016llx\n", 
            (unsigned long long) vmcb->iopm_base_pa,
            (unsigned long long) vmcb->msrpm_base_pa,

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