On Sat, Apr 04, 2015 at 04:14:33AM +0200, Dario Faggioli wrote: > 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",
max RMID: ? > + 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 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
