On 05/21/21 12:49, Joey Gouly wrote:

From: Joey Gouly <joey.gouly@arm.com>
Sent: 09 March 2021 16:45
Subject: [PATCH] ArmPkg/ArmGic: Fix maximum number of interrupts in GICv3

Hi,

A little ping on this. Can someone take a look?

There was a similar patch here, that addressed the same issue https://edk2.groups.io/g/devel/topic/82327316#74401 so I think it would be good get this in.

This even looks like a candidate for edk2-stable202105 to me (it's small
and arguably a clear-cut bugfix).

NB the comment style should be:

//
// Interrupt ID 1020-1023 are reserved:
//

IOW, we need a trailing and a leading empty comment line, plus the
semicolon at the end of the comment should likely be a colon, or maybe
just a period.

Thanks
Laszlo

Thanks,
Joey