Re: [edk2-devel] [PATCH v1 0/3] Add support for handling SGI and pending interrupts

2023-08-03 Thread Kun Qin
Hi Leif & Ard, You are correct. The main use case is around silicon testing. There is currently no UEFI or PI spec around such functionality though. Manipulating pending interrupts might be a far fetch, but can we fix "ArmGicSendSgiTo" function on GIC v3 and v4? It is declared as a public inter

Re: [edk2-devel] [PATCH v1 0/3] Add support for handling SGI and pending interrupts

2023-08-03 Thread Leif Lindholm
On 2023-08-03 16:33, Ard Biesheuvel wrote: On Wed, 26 Jul 2023 at 20:45, Kun Qin wrote: Hi Ard, Our current use case is around AP core suspension and wake-ups. The program can suspend the secondary cores through PSCI interfaces (after powering them on). BSP can then wake up the suspended cor

Re: [edk2-devel] [PATCH v1 0/3] Add support for handling SGI and pending interrupts

2023-08-03 Thread Ard Biesheuvel
On Wed, 26 Jul 2023 at 20:45, Kun Qin wrote: > > Hi Ard, > > Our current use case is around AP core suspension and wake-ups. > > The program can suspend the secondary cores through PSCI interfaces > (after powering > them on). BSP can then wake up the suspended cores through SGI on demand. > The

Re: [edk2-devel] [PATCH v1 0/3] Add support for handling SGI and pending interrupts

2023-07-26 Thread Kun Qin
Hi Ard, Our current use case is around AP core suspension and wake-ups. The program can suspend the secondary cores through PSCI interfaces (after powering them on). BSP can then wake up the suspended cores through SGI on demand. The pending interrupt manipulation is to support BSP suspension

Re: [edk2-devel] [PATCH v1 0/3] Add support for handling SGI and pending interrupts

2023-07-26 Thread Ard Biesheuvel
On Mon, 24 Jul 2023 at 22:15, Kun Qin wrote: > > REF: https://bugzilla.tianocore.org/show_bug.cgi?id=4466 > > This patch series introduce a few improvements related to interrupt > handling for ArmGic driver and library. > > 1. The current implementation of the `ArmGicSendSgiTo` is based on GIC v2

[edk2-devel] [PATCH v1 0/3] Add support for handling SGI and pending interrupts

2023-07-24 Thread Kun Qin
REF: https://bugzilla.tianocore.org/show_bug.cgi?id=4466 This patch series introduce a few improvements related to interrupt handling for ArmGic driver and library. 1. The current implementation of the `ArmGicSendSgiTo` is based on GIC v2 and does not work on GIC v3 and on. 2. The pending interru