Hi Jens, > On 29 May 2024, at 09:25, Jens Wiklander <jens.wiklan...@linaro.org> wrote: > > Updates so request_irq() can be used with a dynamically assigned SGI irq > as input. This prepares for a later patch where an FF-A schedule > receiver interrupt handler is installed for an SGI generated by the > secure world. > > From the Arm Base System Architecture v1.0C [1]: > "The system shall implement at least eight Non-secure SGIs, assigned to > interrupt IDs 0-7." > > gic_route_irq_to_xen() don't gic_set_irq_type() for SGIs since they are > always edge triggered. > > gic_interrupt() is updated to route the dynamically assigned SGIs to > do_IRQ() instead of do_sgi(). The latter still handles the statically > assigned SGI handlers like for instance GIC_SGI_CALL_FUNCTION. > > [1] https://developer.arm.com/documentation/den0094/ > > Signed-off-by: Jens Wiklander <jens.wiklan...@linaro.org>
Reviewed-by: Bertrand Marquis <bertrand.marq...@arm.com> Cheers Bertrand