projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e7728c) | patch
KVM: arm64: vgic: Use vcpu_idx for the debug information
authorMarc Zyngier <maz@kernel.org>
Wed, 27 Sep 2023 09:09:05 +0000 (10:09 +0100)
committerOliver Upton <oliver.upton@linux.dev>
Sat, 30 Sep 2023 18:15:43 +0000 (18:15 +0000)
commitac0fe56d46c0d534dddcf97d132c222722b9b7a5
treecfd50fb0c8b9d464de6c6faace00c83128203cc7tree | snapshot
parent4e7728c81a54b17bd33be402ac140bc11bb0c4f4commit | diff
KVM: arm64: vgic: Use vcpu_idx for the debug information

When dumping the debug information, use vcpu_idx instead of vcpu_id,
as this is independent of any userspace influence.

Reviewed-by: Zenghui Yu <yuzenghui@huawei.com>
Signed-off-by: Marc Zyngier <maz@kernel.org>
Link: https://lore.kernel.org/r/20230927090911.3355209-6-maz@kernel.org
Signed-off-by: Oliver Upton <oliver.upton@linux.dev>
arch/arm64/kvm/vgic/vgic-debug.c diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git