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

[Dario Faggioli <dario.faggioli@xxxxxxxxxx>]

On Mon, 2015-04-06 at 09:48 -0400, Konrad Rzeszutek Wilk wrote:
> On Sat, Apr 04, 2015 at 04:14:33AM +0200, Dario Faggioli wrote:

> > 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: ?
> 
I considered it, but don't like it.

IMO 'max' tells something about the values one can use as RMIDs, not
about the fact that they are a limited resource.

Perhaps something like "available RMIDs:" or "total nr. of RMIDs" ?

Thanks and Regards,
Dario

Attachment: signature.asc
Description: This is a digitally signed message part

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel