Re: [edk2-devel] Question/bug in ArmPkg (ArmArchTimerLib)

2023-01-27 Thread Ard Biesheuvel
On Thu, 26 Jan 2023 at 13:06, Gierszynski, Przemyslaw wrote: > > Hi All, > > My name is Przemysław Gierszyński and I work as a Firmware Engineer in Intel > Technology Poland. > I was doing some work that required review of some parts of EDK2 and I think > I have found a small bug in ArmPkg modul

[edk2-devel] Question/bug in ArmPkg (ArmArchTimerLib)

2023-01-26 Thread Gierszynski, Przemyslaw
Hi All, My name is Przemysław Gierszyński and I work as a Firmware Engineer in Intel Technology Poland. I was doing some work that required review of some parts of EDK2 and I think I have found a small bug in ArmPkg module. Here below are some details concerning the issue: File: edk2/ArmPkg/Libr