ia64/xen-unstable

changeset 11924:a10ef8002af6

[XEN] Show shadow status of vcpus in domain info dump
Signed-off-by: Tim Deegan <Tim.Deegan@xensource.com>
author Tim Deegan <Tim.Deegan@xensource.com>
date Fri Oct 20 16:01:49 2006 +0100 (2006-10-20)
parents 1633f9a3a120
children cb0d26d68adf
files xen/arch/ia64/xen/xenmisc.c xen/arch/powerpc/domain.c xen/arch/x86/domain.c xen/common/keyhandler.c xen/include/xen/domain.h
line diff
     1.1 --- a/xen/arch/ia64/xen/xenmisc.c	Fri Oct 20 11:49:00 2006 +0100
     1.2 +++ b/xen/arch/ia64/xen/xenmisc.c	Fri Oct 20 16:01:49 2006 +0100
     1.3 @@ -165,6 +165,10 @@ void arch_dump_domain_info(struct domain
     1.4  {
     1.5  }
     1.6  
     1.7 +void arch_dump_vcpu_info(struct vcpu *v)
     1.8 +{
     1.9 +}
    1.10 +
    1.11  void audit_domains_key(unsigned char key)
    1.12  {
    1.13  }
     2.1 --- a/xen/arch/powerpc/domain.c	Fri Oct 20 11:49:00 2006 +0100
     2.2 +++ b/xen/arch/powerpc/domain.c	Fri Oct 20 16:01:49 2006 +0100
     2.3 @@ -286,6 +286,10 @@ void arch_dump_domain_info(struct domain
     2.4  {
     2.5  }
     2.6  
     2.7 +void arch_dump_vcpu_info(struct vcpu *v)
     2.8 +{
     2.9 +}
    2.10 +
    2.11  extern void sleep(void);
    2.12  static void safe_halt(void)
    2.13  {
     3.1 --- a/xen/arch/x86/domain.c	Fri Oct 20 11:49:00 2006 +0100
     3.2 +++ b/xen/arch/x86/domain.c	Fri Oct 20 16:01:49 2006 +0100
     3.3 @@ -1003,6 +1003,20 @@ void arch_dump_domain_info(struct domain
     3.4      }
     3.5  }
     3.6  
     3.7 +void arch_dump_vcpu_info(struct vcpu *v)
     3.8 +{
     3.9 +    if ( shadow_mode_enabled(v->domain) )
    3.10 +    {
    3.11 +        if ( v->arch.shadow.mode )
    3.12 +            printk("    shadowed %u-on-%u, %stranslated\n",
    3.13 +                   v->arch.shadow.mode->guest_levels,
    3.14 +                   v->arch.shadow.mode->shadow_levels,
    3.15 +                   shadow_vcpu_mode_translate(v) ? "" : "not ");
    3.16 +        else
    3.17 +            printk("    not shadowed\n");
    3.18 +    }
    3.19 +}
    3.20 +
    3.21  /*
    3.22   * Local variables:
    3.23   * mode: C
     4.1 --- a/xen/common/keyhandler.c	Fri Oct 20 11:49:00 2006 +0100
     4.2 +++ b/xen/common/keyhandler.c	Fri Oct 20 16:01:49 2006 +0100
     4.3 @@ -173,6 +173,7 @@ static void dump_domains(unsigned char k
     4.4              printk("dirty_cpus=%s ", cpuset);
     4.5              cpuset_print(cpuset, sizeof(cpuset), v->cpu_affinity);
     4.6              printk("cpu_affinity=%s\n", cpuset);
     4.7 +            arch_dump_vcpu_info(v);
     4.8              printk("    Notifying guest (virq %d, port %d, stat %d/%d/%d)\n",
     4.9                     VIRQ_DEBUG, v->virq_to_evtchn[VIRQ_DEBUG],
    4.10                     test_bit(v->virq_to_evtchn[VIRQ_DEBUG], 
     5.1 --- a/xen/include/xen/domain.h	Fri Oct 20 11:49:00 2006 +0100
     5.2 +++ b/xen/include/xen/domain.h	Fri Oct 20 16:01:49 2006 +0100
     5.3 @@ -29,6 +29,8 @@ void domain_relinquish_resources(struct 
     5.4  
     5.5  void dump_pageframe_info(struct domain *d);
     5.6  
     5.7 +void arch_dump_vcpu_info(struct vcpu *v);
     5.8 +
     5.9  void arch_dump_domain_info(struct domain *d);
    5.10  
    5.11  #endif /* __XEN_DOMAIN_H__ */