diff options
| author | Oliver Upton <oliver.upton@linux.dev> | 2024-02-21 05:42:45 +0000 |
|---|---|---|
| committer | Oliver Upton <oliver.upton@linux.dev> | 2024-02-23 21:46:02 +0000 |
| commit | 5a021df719164abdc64757993a41fe673a63323b (patch) | |
| tree | 05c400b09fe10169f123ae539953a2cb27bfdd7f /scripts/gdb/linux/tasks.py | |
| parent | 1d6f83f60f79ff0118823d904dc1f04ba89f9428 (diff) | |
KVM: arm64: vgic: Use xarray to find LPI in vgic_get_lpi()
Iterating over the LPI linked-list is less than ideal when the desired
index is already known. Use the INTID to index the LPI xarray instead.
Reviewed-by: Marc Zyngier <maz@kernel.org>
Link: https://lore.kernel.org/r/20240221054253.3848076-3-oliver.upton@linux.dev
Signed-off-by: Oliver Upton <oliver.upton@linux.dev>
Diffstat (limited to 'scripts/gdb/linux/tasks.py')
0 files changed, 0 insertions, 0 deletions