Just print it.
Signed-off-by: Dario Faggioli <dario.faggi...@citrix.com>
---
xen/arch/x86/psr.c | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/xen/arch/x86/psr.c b/xen/arch/x86/psr.c
index c902625..0f2a6ce 100644
--- a/xen/arch/x86/psr.c
+++ b/xen/arch/x86/psr.c
@@ -111,7 +111,8 @@ static void __init init_psr_cmt(unsigned int rmid_max)
for ( rmid = 1; rmid <= psr_cmt->rmid_max; rmid++ )
psr_cmt->rmid_to_dom[rmid] = DOMID_INVALID;
- printk(XENLOG_INFO "Cache Monitoring Technology enabled\n");
+ printk(XENLOG_INFO "Cache Monitoring Technology enabled, RMIDs: %u\n",
+ psr_cmt->rmid_max);
}
/* Called with domain lock held, no psr specific lock needed */
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
