On Thu, 02 May 2024 16:45:45 +0100, Marc Zyngier wrote: > Private interrupts are currently part of the CPU interface structure > that is part of each and every vcpu we create. > > Currently, we have 32 of them per vcpu, resulting in a per-vcpu array > that is just shy of 4kB. On its own, that's no big deal, but it gets > in the way of other things: > > [...] Applied to next, thanks! [1/1] KVM: arm64: vgic: Allocate private interrupts on demand commit: 03b3d00a70b55857439511c1b558ca00a99f4126 Cheers, M. -- Without deviation from the norm, progress is not possible.