Yes, I did enable with Erika API.

s |= CreateTask( &isr_ivshmem, OSEE_TASK_TYPE_ISR2, handle_IRQ, 1U, 1U, 1U, 
OSEE_SYSTEM_STACK );

SetISR2Source(isr_ivshmem, i);
gic_enable_irq(i); //this is actually from jailhouse api

Where "i" is the interrupt number. I tried having "i" with 15. Maybe something 
in Erika is different. I will try with the gic-demo as well.

> > 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.

Reply via email to