Re: [PATCH 1/3] arm64: Add pseudo NMI support of GICv3 SGIs

Hi Wei, On 06/05/2019 09:25, Wei Li wrote: > Currently, only PPIs and SPIs can be set as NMIs. IPIs being currently > hardcoded IRQ numbers, there isn't a generic interface to set SGIs as NMI > for now. > > In this patch, we do: > 1. Add an interface for setting priority of SGIs. > 2. Export

[PATCH 1/3] arm64: Add pseudo NMI support of GICv3 SGIs

Currently, only PPIs and SPIs can be set as NMIs. IPIs being currently hardcoded IRQ numbers, there isn't a generic interface to set SGIs as NMI for now. In this patch, we do: 1. Add an interface for setting priority of SGIs. 2. Export GICD_INT_NMI_PRI for setting priority of SGIs as NMI. 3. Move