[edk2-devel] [edk2-platform][PATCH v1 1/1] Platforms/RaspberryPi: Fix RPi4 GICC PMU PPI
Pete Batard
pete at akeo.ie
Fri Jul 31 07:55:16 UTC 2020
On 2020.07.28 22:00, Samer El-Haj-Mahmoud wrote:
> 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 <leif at nuviainc.com>
> Cc: Pete Batard <pete at akeo.ie>
> Cc: Andrei Warkentin <awarkentin at vmware.com>
> Cc: Ard Biesheuvel <ard.biesheuvel at arm.com>
> Signed-off-by: Samer El-Haj-Mahmoud <samer.el-haj-mahmoud at 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.
>
Reviewed-by: Pete Batard <pete at akeo.ie>
-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#63556): https://edk2.groups.io/g/devel/message/63556
Mute This Topic: https://groups.io/mt/75853085/1813853
Group Owner: devel+owner at edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [edk2-devel-archive at redhat.com]
-=-=-=-=-=-=-=-=-=-=-=-
More information about the edk2-devel-archive
mailing list