AnsweredAssumed Answered

how to register SGI IRQ on Linux in AMP

Question asked by Mihaita Ivascu on Jul 5, 2018
Latest reply on Jul 5, 2018 by Mihaita Ivascu



    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?


Best regards,