gic-demo is able to receive the IPI. So the problem is within Erika interrupt
configuration.
> Hi,
>
> On 9/5/18 8:28 PM, Giovani Gracioli wrote:
> > Yes, I did enable with Erika API.
>
> No, I meant if you tried to receive the SGI via Jailhouse inmates. I
> don't know Erika internals.
>
> Some test like:
>
> diff --git a/inmates/demos/arm/gic-demo.c b/inmates/demos/arm/gic-demo.c
> index b2246deb..86be1b1e 100644
> --- a/inmates/demos/arm/gic-demo.c
> +++ b/inmates/demos/arm/gic-demo.c
> @@ -35,6 +35,8 @@ static void handle_IRQ(unsigned int irqn)
>
> if (irqn != TIMER_IRQ)
> return;
> + else
> + printk("Hey, there's some IRQ %u\n", irqn);
>
> delta = timer_get_ticks() - expected_ticks;
> if (delta < min_delta)
> @@ -59,6 +61,7 @@ void inmate_main(void)
> printk("Initializing the GIC...\n");
> gic_setup(handle_IRQ);
> gic_enable_irq(TIMER_IRQ);
> + gic_enable_irq(15);
>
> printk("Initializing the timer...\n");
> ticks_per_beat = timer_get_frequency() / BEATS_PER_SEC;
>
>
>
> Thanks
> Ralf
>
> >
> > 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.
