Messages in this thread | | | From | Valentin Schneider <> | Subject | Re: [PATCH 1/2] irqchip/gic-v3: Add __gic_get_ppi_index() to find the PPI number from hwirq | Date | Fri, 30 Jul 2021 11:47:19 +0100 |
| |
On 29/07/21 17:27, James Morse wrote: > 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 <james.morse@arm.com>
Reviewed-by: Valentin Schneider <valentin.schneider@arm.com>
| |