Re: [edk2] [PATCH] ArmPkg: Assign the real INTID value for sanity check

2016-10-28 Thread Ard Biesheuvel
Hi Dennis, On 21 October 2016 at 07:40, Dennis Chen wrote: > Current implementation doesn't assign the INTID value readed from > GICC_IAR to the @InterruptId parameter in case of GICv3, thus make > the sanity check of the INTID in the caller becomes untrustworthy, this >

[edk2] [PATCH] ArmPkg: Assign the real INTID value for sanity check

2016-10-21 Thread Dennis Chen
Current implementation doesn't assign the INTID value readed from GICC_IAR to the @InterruptId parameter in case of GICv3, thus make the sanity check of the INTID in the caller becomes untrustworthy, this patch is trying to re-assign the @InterruptId to mitigate this issue. Contributed-under: