diff options
| author | Marc Zyngier <maz@kernel.org> | 2023-09-27 10:09:06 +0100 |
|---|---|---|
| committer | Oliver Upton <oliver.upton@linux.dev> | 2023-09-30 18:15:43 +0000 |
| commit | 5f4bd815ec718992c09de1f39479ae90dcbb7df3 (patch) | |
| tree | b519fd303ad9ee8ec95d7060ef3bff4947f962d7 /tools | |
| parent | KVM: arm64: vgic: Use vcpu_idx for the debug information (diff) | |
| download | linux-5f4bd815ec718992c09de1f39479ae90dcbb7df3.tar.gz linux-5f4bd815ec718992c09de1f39479ae90dcbb7df3.zip | |
KVM: arm64: Use vcpu_idx for invalidation tracking
While vcpu_id isn't necessarily a bad choice as an identifier for
the currently running vcpu, it is provided by userspace, and there
is close to no guarantee that it would be unique.
Switch it to vcpu_idx instead, for which we have much stronger
guarantees.
Reviewed-by: Zenghui Yu <yuzenghui@huawei.com>
Signed-off-by: Marc Zyngier <maz@kernel.org>
Link: https://lore.kernel.org/r/20230927090911.3355209-7-maz@kernel.org
Signed-off-by: Oliver Upton <oliver.upton@linux.dev>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions