[bug report] GICv4.1: vSGI remains pending across the guest reset

[Zenghui Yu]

On 2023/12/19 1:20, Oliver Upton wrote:

> Anyway, I'm happy with your fix. I'd like Kunkun to give it a go but
> either way I can pick it up for 6.7.

+1. When applying, feel free to add my

Reviewed-by: Zenghui Yu <yuzenghui at huawei.com>

and perhaps

Cc: stable at vger.kernel.org # 5.10+

Thanks,
Zenghui