Hi Michal,
On Thu, Apr 11, 2024 at 8:44 AM Michal Orzel wrote:
>
> Hi Jens,
>
> On 11/04/2024 08:12, Jens Wiklander wrote:
> >
> >
> > Hi Michal,
> >
> > On Wed, Apr 10, 2024 at 3:24 PM Michal Orzel wrote:
> >>
> >> Hi Jens,
> >>
> >> On 09/04/2024 17:36, Jens Wiklander wrote:
> >>>
> >>>
> >>>
Hi Jens,
On 11/04/2024 08:12, Jens Wiklander wrote:
>
>
> Hi Michal,
>
> On Wed, Apr 10, 2024 at 3:24 PM Michal Orzel wrote:
>>
>> Hi Jens,
>>
>> On 09/04/2024 17:36, Jens Wiklander wrote:
>>>
>>>
>>> Updates so request_irq() can be used with a dynamically assigned SGI irq
>>> as input.
>> At
Hi Michal,
On Wed, Apr 10, 2024 at 3:24 PM Michal Orzel wrote:
>
> Hi Jens,
>
> On 09/04/2024 17:36, Jens Wiklander wrote:
> >
> >
> > Updates so request_irq() can be used with a dynamically assigned SGI irq
> > as input.
> At this point it would be handy to mention the use case for which you
Hi Jens,
On 09/04/2024 17:36, Jens Wiklander wrote:
>
>
> Updates so request_irq() can be used with a dynamically assigned SGI irq
> as input.
At this point it would be handy to mention the use case for which you need to
add this support
>
> gic_route_irq_to_xen() don't gic_set_irq_type()
Updates so request_irq() can be used with a dynamically assigned SGI irq
as input.
gic_route_irq_to_xen() don't gic_set_irq_type() for SGIs since they have
their type assigned earlier during boot
gic_interrupt() is updated to route the dynamically assigned SGIs to
do_IRQ() instead of do_sgi().
