Arm SBSA specification section ver 6.0, 4.1.5 defines specific PPI values for certain standard interrupt IDs. The value for "Performance Monitors Interrupt" needs to be 23.
REF: https://developer.arm.com/documentation/den0029/latest This partially fixes SBSA test #11 ("Incorrect PPI value") reported in https://github.com/pftf/RPi4/issues/74 Cc: Leif Lindholm <l...@nuviainc.com> Cc: Pete Batard <p...@akeo.ie> Cc: Andrei Warkentin <awarken...@vmware.com> Cc: Ard Biesheuvel <ard.biesheu...@arm.com> Signed-off-by: Samer El-Haj-Mahmoud <samer.el-haj-mahm...@arm.com> --- Platform/RaspberryPi/RPi4/RPi4.dsc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Platform/RaspberryPi/RPi4/RPi4.dsc b/Platform/RaspberryPi/RPi4/RPi4.dsc index c481c3534263..00683afe96b9 100644 --- a/Platform/RaspberryPi/RPi4/RPi4.dsc +++ b/Platform/RaspberryPi/RPi4/RPi4.dsc @@ -433,10 +433,10 @@ [PcdsFixedAtBuild.common] gRaspberryPiTokenSpaceGuid.PcdGicInterruptInterfaceHBase|0xFF844000 gRaspberryPiTokenSpaceGuid.PcdGicInterruptInterfaceVBase|0xFF846000 gRaspberryPiTokenSpaceGuid.PcdGicGsivId|0x19 - gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq0|0x30 - gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq1|0x31 - gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq2|0x32 - gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq3|0x33 + gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq0|23 + gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq1|23 + gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq2|23 + gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq3|23 # # Fixed CPU settings. -- 2.17.1 -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#63415): https://edk2.groups.io/g/devel/message/63415 Mute This Topic: https://groups.io/mt/75853085/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
