On 9/5/18 6:16 PM, Giovani Gracioli wrote: > Hi, > > I am playing around IPI among non-root cells (I know it breaks the isolation > among cells, but I would like to understand the steps). I forced a call to > irqchip_set_pending from CPU 3 to CPU 2 in the gic_handle_sgir_write() > function: > > irqchip_set_pending(per_cpu(2), sgi->id); > > sgi->id is 15. I can see that CPU 2 receives the IPI: > > CPU 2 received an SGI 0 > irqchip_inject_pending irq_id = 15, sender 3 > gicv2_inject_irq() sender = 3, irq_id = 15 > CPU 2 writing 268438543 to lr reg (first_free = 0) > > However, the non-root cell does not receive the IPI (I am running Erika on > it).
Did you try to receive the SGI in the gic-demo? You only have to instrument handle_IRQ and enable the interrupt. Ralf > > I do not know in which IRQ number the SGI ID 15 is mapped to. What is the > relation of pin_base and pin_bitmap from the config file with SGIs? What > value should I write in the irqchips config? > > Best > Giovani > -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
