[Xen-changelog] [xen-unstable] [XEN] Show shadow status of vcpus in domain info dump

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

# HG changeset patch
# User Tim Deegan <Tim.Deegan@xxxxxxxxxxxxx>
# Node ID a10ef8002af6d37da35766510a3dc08375582d98
# Parent  1633f9a3a1202484a250191c21a8a35a0b5dd6cd
[XEN] Show shadow status of vcpus in domain info dump
Signed-off-by: Tim Deegan <Tim.Deegan@xxxxxxxxxxxxx>
---
 xen/arch/ia64/xen/xenmisc.c |    4 ++++
 xen/arch/powerpc/domain.c   |    4 ++++
 xen/arch/x86/domain.c       |   14 ++++++++++++++
 xen/common/keyhandler.c     |    1 +
 xen/include/xen/domain.h    |    2 ++
 5 files changed, 25 insertions(+)

diff -r 1633f9a3a120 -r a10ef8002af6 xen/arch/ia64/xen/xenmisc.c
--- a/xen/arch/ia64/xen/xenmisc.c       Fri Oct 20 11:49:00 2006 +0100
+++ b/xen/arch/ia64/xen/xenmisc.c       Fri Oct 20 16:01:49 2006 +0100
@@ -165,6 +165,10 @@ void arch_dump_domain_info(struct domain
 {
 }
 
+void arch_dump_vcpu_info(struct vcpu *v)
+{
+}
+
 void audit_domains_key(unsigned char key)
 {
 }
diff -r 1633f9a3a120 -r a10ef8002af6 xen/arch/powerpc/domain.c
--- a/xen/arch/powerpc/domain.c Fri Oct 20 11:49:00 2006 +0100
+++ b/xen/arch/powerpc/domain.c Fri Oct 20 16:01:49 2006 +0100
@@ -286,6 +286,10 @@ void arch_dump_domain_info(struct domain
 {
 }
 
+void arch_dump_vcpu_info(struct vcpu *v)
+{
+}
+
 extern void sleep(void);
 static void safe_halt(void)
 {
diff -r 1633f9a3a120 -r a10ef8002af6 xen/arch/x86/domain.c
--- a/xen/arch/x86/domain.c     Fri Oct 20 11:49:00 2006 +0100
+++ b/xen/arch/x86/domain.c     Fri Oct 20 16:01:49 2006 +0100
@@ -1003,6 +1003,20 @@ void arch_dump_domain_info(struct domain
     }
 }
 
+void arch_dump_vcpu_info(struct vcpu *v)
+{
+    if ( shadow_mode_enabled(v->domain) )
+    {
+        if ( v->arch.shadow.mode )
+            printk("    shadowed %u-on-%u, %stranslated\n",
+                   v->arch.shadow.mode->guest_levels,
+                   v->arch.shadow.mode->shadow_levels,
+                   shadow_vcpu_mode_translate(v) ? "" : "not ");
+        else
+            printk("    not shadowed\n");
+    }
+}
+
 /*
  * Local variables:
  * mode: C
diff -r 1633f9a3a120 -r a10ef8002af6 xen/common/keyhandler.c
--- a/xen/common/keyhandler.c   Fri Oct 20 11:49:00 2006 +0100
+++ b/xen/common/keyhandler.c   Fri Oct 20 16:01:49 2006 +0100
@@ -173,6 +173,7 @@ static void dump_domains(unsigned char k
             printk("dirty_cpus=%s ", cpuset);
             cpuset_print(cpuset, sizeof(cpuset), v->cpu_affinity);
             printk("cpu_affinity=%s\n", cpuset);
+            arch_dump_vcpu_info(v);
             printk("    Notifying guest (virq %d, port %d, stat %d/%d/%d)\n",
                    VIRQ_DEBUG, v->virq_to_evtchn[VIRQ_DEBUG],
                    test_bit(v->virq_to_evtchn[VIRQ_DEBUG], 
diff -r 1633f9a3a120 -r a10ef8002af6 xen/include/xen/domain.h
--- a/xen/include/xen/domain.h  Fri Oct 20 11:49:00 2006 +0100
+++ b/xen/include/xen/domain.h  Fri Oct 20 16:01:49 2006 +0100
@@ -29,6 +29,8 @@ void domain_relinquish_resources(struct 
 
 void dump_pageframe_info(struct domain *d);
 
+void arch_dump_vcpu_info(struct vcpu *v);
+
 void arch_dump_domain_info(struct domain *d);
 
 #endif /* __XEN_DOMAIN_H__ */

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