jtag/drivers/bcm2835gpio: extend peripheral_base to off_t
commitb41b368255d53d9561851900eeeba38b12720a82
authorTomas Vanek <vanekt@fbl.cz>
Fri, 12 May 2023 10:04:22 +0000 (12 12:04 +0200)
committerTomas Vanek <vanekt@fbl.cz>
Wed, 24 May 2023 05:25:54 +0000 (24 05:25 +0000)
treef6981349927eabfddfd6cc7e428a7dd83f0f9fa3
parentc164906420521546849d03a26977fb91838aca8e
jtag/drivers/bcm2835gpio: extend peripheral_base to off_t

Raspberry Pi 4 with 64-bit kernel and arm_peri_high=1 config.txt
parameter needs peripheral_base 0x47e000000, uint32_t is not enough.

Signed-off-by: Tomas Vanek <vanekt@fbl.cz>
Change-Id: Icedd084e2916657fa4478d452a5eb1e84a45c281
Reviewed-on: https://review.openocd.org/c/openocd/+/7685
Tested-by: jenkins
Reviewed-by: Jonathan Bell <jonathan@raspberrypi.com>
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
src/jtag/drivers/bcm2835gpio.c