# 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
|
Home