# HG changeset patch
# User cl349@xxxxxxxxxxxxxxxxxxxx
# Node ID b40aefd658c0eecfea9aaa3e85e9b2b4727154bd
# Parent d161c07014a3232a71f9b1d8cb2081f00fdd5f0e
Output which shadow mode is used, if any.
Signed-off-by: Christian Limpach <Christian.Limpach@xxxxxxxxxxxx>
diff -r d161c07014a3 -r b40aefd658c0 xen/common/keyhandler.c
--- a/xen/common/keyhandler.c Thu Feb 23 15:59:54 2006
+++ b/xen/common/keyhandler.c Thu Feb 23 16:29:06 2006
@@ -13,6 +13,7 @@
#include <xen/domain.h>
#include <xen/rangeset.h>
#include <asm/debugger.h>
+#include <asm/shadow.h>
#define KEY_MAX 256
#define STR_MAX 64
@@ -131,6 +132,22 @@
d->handle[ 4], d->handle[ 5], d->handle[ 6], d->handle[ 7],
d->handle[ 8], d->handle[ 9], d->handle[10], d->handle[11],
d->handle[12], d->handle[13], d->handle[14], d->handle[15]);
+ if ( shadow_mode_enabled(d) ) {
+ printk(" shadow mode: ");
+ if ( shadow_mode_refcounts(d) )
+ printk("refcounts ");
+ if ( shadow_mode_write_all(d) )
+ printk("write_all ");
+ if ( shadow_mode_log_dirty(d) )
+ printk("log_dirty ");
+ if ( shadow_mode_translate(d) )
+ printk("translate ");
+ if ( shadow_mode_external(d) )
+ printk("external ");
+ if ( shadow_mode_wr_pt_pte(d) )
+ printk("wr_pt_pte ");
+ printk("\n");
+ }
rangeset_domain_printk(d);
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
|