On Thu, Jul 13, 2023 at 01:57:46PM +0800, chenxiang (M) wrote: > > Of course, it is totally untested... ;-) But I like that the doorbell > > request is solely driven by the WFI state, and we avoid leaking the > > knowledge outside of the vgic code. > > I have tested this approach and it also solves the issue. Please feel free > to add: > Tested-by: Xiang Chen <chenxiang66@xxxxxxxxxxxxx> Excellent, thanks for testing a couple of iterations for us here. Marc, do you want to add a changelog to this? -- Thanks, Oliver