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

2015-04-07 Thread Dario Faggioli
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,

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

2015-04-06 Thread Konrad Rzeszutek Wilk
On Sat, Apr 04, 2015 at 04:14:33AM +0200, Dario Faggioli wrote: > Just print it. > > Signed-off-by: Dario Faggioli > --- > 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 > -

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

2015-04-03 Thread Dario Faggioli
Just print it. Signed-off-by: Dario Faggioli --- 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 __i