[RFC PATCH 2/7] Xen: x86: print max usable RMID during init

[Dario Faggioli <dario.faggioli@citrix.com>]

Just print it.

Signed-off-by: Dario Faggioli <dario.faggioli@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 */