Re: [PATCH] ArmPkg/ArmGic: Fix maximum number of interrupts in GICv3
On 05/21/21 12:49, Joey Gouly wrote:
This even looks like a candidate for edk2-stable202105 to me (it's smallFrom: Joey Gouly <firstname.lastname@example.org>Hi,
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.