[edk2-devel] [edk2-platform][PATCH v1 1/1] Platforms/RaspberryPi: RPi4 PMU interrupts are SPI not PPI
Ard Biesheuvel
ard.biesheuvel at arm.com
Wed Nov 25 15:18:02 UTC 2020
On 11/25/20 4:11 PM, Samer El-Haj-Mahmoud wrote:
> REF: https://github.com/pftf/RPi4/issues/103
>
> Commit 602a7ea1ab6d changed the RPi4 PMU interrupts reported
> in GICC to the PPI values recommended by SBSA specification.
> This caused the PMU overflow interrupts to stop working.
>
> The RPi documentation (Figure 7, page 111) state that the
> PMU interrupts are SPI not PPI: https://www.raspberrypi.org/
> documentation/hardware/raspberrypi/bcm2711/rpi_DATA_2711_1p0.pdf
>
> Also, the BSA 1.0 spec (page 24) clarifies hat the PPI values are
> recommendations, not requirements:
> https://developer.arm.com/documentation/den0094/latest
>
> Fix by reverting to the old SPI values per the RPi spec.
>
> 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>
Reviewed-by: Ard Biesheuvel <ard.biesheuvel at arm.com>
Pushed as ff052d38e584..734fed7db671
> ---
> 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 4e5a36edb76a..ddf4dd6a416e 100644
> --- a/Platform/RaspberryPi/RPi4/RPi4.dsc
> +++ b/Platform/RaspberryPi/RPi4/RPi4.dsc
> @@ -440,10 +440,10 @@ [PcdsFixedAtBuild.common]
> gRaspberryPiTokenSpaceGuid.PcdGicInterruptInterfaceHBase|0xFF844000
> gRaspberryPiTokenSpaceGuid.PcdGicInterruptInterfaceVBase|0xFF846000
> gRaspberryPiTokenSpaceGuid.PcdGicGsivId|0x19
> - gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq0|23
> - gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq1|23
> - gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq2|23
> - gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq3|23
> + gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq0|0x30
> + gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq1|0x31
> + gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq2|0x32
> + gRaspberryPiTokenSpaceGuid.PcdGicPmuIrq3|0x33
>
> #
> # Fixed CPU settings.
>
-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#67986): https://edk2.groups.io/g/devel/message/67986
Mute This Topic: https://groups.io/mt/78501287/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