Re: [XEN PATCH v2 4/5] xen/arm: allow dynamically assigned SGI handlers

On Tue, Apr 23, 2024 at 1:05 PM Julien Grall wrote: > > > > On 23/04/2024 10:35, Jens Wiklander wrote: > > Hi Julien, > > Hi Jens, > > > On Mon, Apr 22, 2024 at 12:57 PM Julien Grall wrote: > >> > >> Hi Jens, > >> > >> On 22/04/2024 08:37, Jens Wiklander wrote: > >>> Updates so request_irq() can

Re: [XEN PATCH v2 4/5] xen/arm: allow dynamically assigned SGI handlers

Hi, On Tue, Apr 23, 2024 at 4:28 PM Julien Grall wrote: > > Hi Bertrand, > > On 23/04/2024 14:23, Bertrand Marquis wrote: > > Hi Julien, > > > >> On 23 Apr 2024, at 14:37, Bertrand Marquis > >> wrote: > >> > >> Hi Julien, > >> > >>> On 23 Apr 2024, at 13:05, Julien Grall wrote: > >>> > >>> >

Re: [XEN PATCH v2 4/5] xen/arm: allow dynamically assigned SGI handlers

Hi Bertrand, On 23/04/2024 14:23, Bertrand Marquis wrote: Hi Julien, On 23 Apr 2024, at 14:37, Bertrand Marquis wrote: Hi Julien, On 23 Apr 2024, at 13:05, Julien Grall wrote: On 23/04/2024 10:35, Jens Wiklander wrote: Hi Julien, Hi Jens, On Mon, Apr 22, 2024 at 12:57 PM Julien

Re: [XEN PATCH v2 4/5] xen/arm: allow dynamically assigned SGI handlers

Hi Julien, > On 23 Apr 2024, at 14:37, Bertrand Marquis wrote: > > Hi Julien, > >> On 23 Apr 2024, at 13:05, Julien Grall wrote: >> >> >> >> On 23/04/2024 10:35, Jens Wiklander wrote: >>> Hi Julien, >> >> Hi Jens, >> >>> On Mon, Apr 22, 2024 at 12:57 PM Julien Grall wrote: Hi

Re: [XEN PATCH v2 4/5] xen/arm: allow dynamically assigned SGI handlers

Hi Julien, > On 23 Apr 2024, at 13:05, Julien Grall wrote: > > > > On 23/04/2024 10:35, Jens Wiklander wrote: >> Hi Julien, > > Hi Jens, > >> On Mon, Apr 22, 2024 at 12:57 PM Julien Grall wrote: >>> >>> Hi Jens, >>> >>> On 22/04/2024 08:37, Jens Wiklander wrote: Updates so

Re: [XEN PATCH v2 4/5] xen/arm: allow dynamically assigned SGI handlers

On 23/04/2024 10:35, Jens Wiklander wrote: Hi Julien, Hi Jens, On Mon, Apr 22, 2024 at 12:57 PM Julien Grall wrote: Hi Jens, On 22/04/2024 08:37, Jens Wiklander wrote: Updates so request_irq() can be used with a dynamically assigned SGI irq as input. This prepares for a later patch

Re: [XEN PATCH v2 4/5] xen/arm: allow dynamically assigned SGI handlers

Hi Julien, On Mon, Apr 22, 2024 at 12:57 PM Julien Grall wrote: > > Hi Jens, > > On 22/04/2024 08:37, Jens Wiklander wrote: > > Updates so request_irq() can be used with a dynamically assigned SGI irq > > as input. This prepares for a later patch where an FF-A schedule > > receiver interrupt

Re: [XEN PATCH v2 4/5] xen/arm: allow dynamically assigned SGI handlers

Hi Jens, On 22/04/2024 08:37, Jens Wiklander wrote: Updates so request_irq() can be used with a dynamically assigned SGI irq as input. This prepares for a later patch where an FF-A schedule receiver interrupt handler is installed for an SGI generated by the secure world. I would like to