1.1 --- a/xen/common/keyhandler.c	Thu Feb 23 15:59:54 2006 +0000
     1.2 +++ b/xen/common/keyhandler.c	Thu Feb 23 16:29:06 2006 +0000
     1.3 @@ -13,6 +13,7 @@
     1.4  #include <xen/domain.h>
     1.5  #include <xen/rangeset.h>
     1.6  #include <asm/debugger.h>
     1.7 +#include <asm/shadow.h>
     1.8  
     1.9  #define KEY_MAX 256
    1.10  #define STR_MAX  64
    1.11 @@ -131,6 +132,22 @@ static void dump_domains(unsigned char k
    1.12                 d->handle[ 4], d->handle[ 5], d->handle[ 6], d->handle[ 7],
    1.13                 d->handle[ 8], d->handle[ 9], d->handle[10], d->handle[11],
    1.14                 d->handle[12], d->handle[13], d->handle[14], d->handle[15]);
    1.15 +        if ( shadow_mode_enabled(d) ) {
    1.16 +            printk("    shadow mode: ");
    1.17 +            if ( shadow_mode_refcounts(d) )
    1.18 +                printk("refcounts ");
    1.19 +            if ( shadow_mode_write_all(d) )
    1.20 +                printk("write_all ");
    1.21 +            if ( shadow_mode_log_dirty(d) )
    1.22 +                printk("log_dirty ");
    1.23 +            if ( shadow_mode_translate(d) )
    1.24 +                printk("translate ");
    1.25 +            if ( shadow_mode_external(d) )
    1.26 +                printk("external ");
    1.27 +            if ( shadow_mode_wr_pt_pte(d) )
    1.28 +                printk("wr_pt_pte ");
    1.29 +            printk("\n");
    1.30 +        }
    1.31  
    1.32          rangeset_domain_printk(d);
    1.33