| commit | 66e1ec89263e3454eb5a7210cad96df11ba75abb | [log] [tgz] |
|---|---|---|
| author | Boyan Karatotev <boyan.karatotev@arm.com> | Mon Jun 23 16:09:52 2025 +0100 |
| committer | Boyan Karatotev <boyan.karatotev@arm.com> | Mon Nov 03 15:17:24 2025 +0000 |
| tree | cd369dc6cc274616abe1e0f9560470a6c66066aa | |
| parent | 9134748e4a1faabd97cb29fa71069cd656107a4a [diff] |
feat(realm): set the PMU IRQ number depending on GIC version Despite the PPI number being the same, the INTID is different - it needs to be labelled as PPI on GICv5. Add a helper to switch this. Change-Id: I600ab121135b0826f8405202de222943392c36ec Signed-off-by: Boyan Karatotev <boyan.karatotev@arm.com>