GPIO register base address on Raspberry Pi 4

Question

According to the document "BCM2711 ARM Peripherals" Version 1, 5th February 2020, at page 83, "The GPIO base address is 0x7E21 5000."

(The link to the document is this: BCM2711 ARM Peripherals.)

From the command prompt, when I enter, "cat /proc/iomem", it displays, among other things, "gpio@7e200000".

My question is: Shouldn't these numbers be the same?

Answer 1

Yes, these numbers should indeed be the same.

Today I discovered that there is an error in the BCM2711 ARM Peripherals datasheet, also see this GitHub issue.

The correct GPIO base address is 0x7E20 0000.