Re: [Xen-devel] [PATCH v2 02/27] ARM: GICv3: allocate LPI pending and property table

[Julien Grall <julien.grall@xxxxxxx>]

Hi Stefano,

On 23/03/17 17:45, Stefano Stabellini wrote:
> On Thu, 23 Mar 2017, Julien Grall wrote:
> > > So as I mentioned before, I am happy to loose the Kconfig option, but
> > > then we need some sensible default value. In our case we could be cheeky
> > > here for now and just use the Linux value, because a Linux Dom0 would be
> > > the only user. But that doesn't sound very future proof, though this may
> > > not matter for 4.9.
> > I don't think we need a sensible default value and IHMO there is none. I would
> > left the user to decide the exact number.
> In that case, the command line parameter becomes mandatory: we need to
> force the user to specify it as we do for dom0_mem today.
Not really. We should use the hardware value by default. If a user 
thinks the number allocated is too big for his use case, then it can 
limit using the command line.
Anyway, I will not oppose to make this command option mandatory when ITS 
is in use.
Cheers,

--
Julien Grall

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