| #
0ba65f66 |
|
25-Jun-2018 |
Nick Maniscalco <maniscalco@google.com> |
[arm64][gicv2][gicv3] Fix base of software generated interrupts
mp_ipi_t interrupts are software generated and must be in the SGI
range (0-15). To ensure this, ipi_base must be <= 12.
Add helper function to validate SGI range at registration time.
Tested: Booted arm64 qemu with GICv2 and GICv3.
ZX-2285 #done
ZX-2302 #comment prereq
Change-Id: Ib1399478066a8dc17e5ef3caa026166ef12d588f
|