Am Wed, 17 May 2017 08:47:59 -0700
schrieb jonas <[email protected]>:
> Hi again,
>
> Let's assume that I want to modify
> jailhouse/inmates/demos/arm/gic-demo.c to also handle ivshmem
> interrupts generated by the hypervisor to the bare-metal cell when
> writing the virtual PCI driver config area using uio_ivshmem/uio_send
> in the root-cell.
>
> The first thing I would have to do is enable the IVSHMEM_IRQ in
> jailhouse/inmates/demos/arm/gic-demo.c:inmate_main() by calling
> gic_enable_irq(IVSHMEM_IRQ); in the same manner as
> gic_enable_irq(TIMER_IRQ);.
You would have to register a handler first, gic_setup() but yes.
> I would also have to check what irqn is passed in
> jailhouse/inmates/demos/arm/gic-demo.c:handle_IRQ(unsigned int irqn),
> in order to distinguish between TIMER_IRQ and IVSHMEM_IRQ, right?
I am not sure but it looks like gic_setup() might actually redirect all
interrupts to that one handler. Because you do not need to specify the
number. That check is there to not react to other interrupts, there are
probably no others.
> TIMER_IRQ is defined (to 27) in
> jailhouse/inmates/lib/arm/include/mach.h. Where does this value come
> from?
Probably from some ARM manual describing the interrupt controller GIC,
or maybe from the device tree, i do not know too much about ARM.
But it is basically a constant for your target.
> How do I know what value to set IVSHMEM_IRQ to?
Have a look at the linux inmate config for the bananapi. You will have
to get some pieces for your inmate config.
Get
.vpci_irq_base = 123,
and the irqchips section. Make sure you adjust the array size for
irqchips.
>From the pin_bitmap you just need the second value
0, 0, 0, 1 << (155-128),
And now your IVSHMEM_IRQ is 155. That should work, but i also cant
fully explain where the numbers come from.
Henning
> Still a bit confused - Jonas
>
--
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.
