[PATCH v2 00/11] KVM: arm64: Accelerate lookup of vcpus by MPIDR values (and other fixes)

[Zenghui Yu]

Hi Marc,

On 2023/9/21 2:17, Marc Zyngier wrote:
> So this series, on top of trying to optimise SGI injection, also aims
> at disambiguating this mess, and documenting some of the implicit
> requirements for userspace.

Apart from the minor comments, this series looks good.

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