Re: Ping: [PATCH v2 0/2] new CONFIG_HAS_PIRQ and extra_guest_irqs adjustment

[Julien Grall <julien@xxxxxxx>]

Hi Jan,

On 10/07/2023 08:33, Jan Beulich wrote:
> On 03.05.2023 17:31, Jan Beulich wrote:
> > The 1st patch (new in v2) has the effect of the 2nd one no longer
> > affecting Arm.
> >
> > 1: restrict concept of pIRQ to x86
> > 2: cmdline: document and enforce "extra_guest_irqs" upper bounds
> REST- and Arm-maintainers,
>
> may I please ask for some feedback here? Roger did supply some, resulting
> in me considering to revert back to the earlier version (i.e. patch 1
> dropped again and patch 2 minimally adjusted to address feedback there),
> but which route to go wants input from other maintainers. What I think is
> unacceptable is that we continue to not document and enforce the upper
> bound, leading to people needlessly running into issues on big enough
> systems.
I looked at patch #1, I think this the right approach for Arm. Do you 
need further input?
Cheers,

--
Julien Grall