diff options
| author | James Morse <[email protected]> | 2021-07-29 17:27:47 +0000 |
|---|---|---|
| committer | Marc Zyngier <[email protected]> | 2021-08-12 08:11:03 +0100 |
| commit | bfa80ee9ce6e2f18da76459c3dd7b0ad57fb2c20 (patch) | |
| tree | 993a3f4b67517387f6865092edc3ef1ddcd3f8e6 /scripts/gdb/linux/timerlist.py | |
| parent | ff1176468d368232b684f75e82563369208bc371 (diff) | |
irqchip/gic-v3: Add __gic_get_ppi_index() to find the PPI number from hwirq
gic_get_ppi_index() is a useful concept for ppi partitions, as the GIC
has two PPI ranges but needs mapping to a single range when used as an
index in the gic_data.ppi_descs[] array.
Add a double-underscore version which takes just the intid. This will
be used in the partition domain select and translate helpers to enable
partition support for the EPPI range.
Signed-off-by: James Morse <[email protected]>
Reviewed-by: Valentin Schneider <[email protected]>
Signed-off-by: Marc Zyngier <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Diffstat (limited to 'scripts/gdb/linux/timerlist.py')
0 files changed, 0 insertions, 0 deletions