On 05/21/21 12:49, Joey Gouly wrote:
>> From: Joey Gouly <joey.go...@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
> 
> 
> 
> 



-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#75461): https://edk2.groups.io/g/devel/message/75461
Mute This Topic: https://groups.io/mt/81205553/21656
Group Owner: devel+ow...@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-


Reply via email to