I have the following situation on a platform that has a dual core A9. Core 0 runs Linux, core 1 FreeRTOS.
Core 1 sets some SGI interrupt that I wish to catch on Linux from a device driver.
I have added the SGI ID 8 in the interrupt controller node in device tree.
In the device driver I have tried to get it using request_irq but I always get error -22 when loading the driver module.
I have read that different methods should be used for registering an irq handling SGI interrupts but is not clear to me how should I use handle_IPI functions from smp.c.
Moreover should I change SMP specific functions if my scheme is AMP?
Does anyone have experience with this topic?