Re: [PATCH v5 21/23] KVM: arm64: GICv4.1: Reload VLPI configuration on distributor enable/disable

[Marc Zyngier]

On 2020-03-18 03:17, Zenghui Yu wrote:
> On 2020/3/5 4:33, Marc Zyngier wrote:
> > Each time a Group-enable bit gets flipped, the state of these bits
> > needs to be forwarded to the hardware. This is a pretty heavy
> > handed operation, requiring all vcpus to reload their GICv4
> > configuration. It is thus implemented as a new request type.
>
> [note to myself]
> ... and the status are forwarded to HW by programming VGrp{0,1}En
> fields of GICR_VPENDBASER when vPEs are made resident next time.

I've added something based on this comment to the commit message.

Thanks!

        M.
--
Jazz is not dead. It just smells funny...