[PATCH]: 6803fe2f08 jtag/drivers/bcm2835gpio: fix bcm2835_peri_base output format

[gerrit]

This is an automated email from Gerrit.

"Vincent Fazio <vfa...@gmail.com>" just uploaded a new patch set to Gerrit, 
which you can find at https://review.openocd.org/c/openocd/+/7888

-- gerrit

commit 6803fe2f0882d25eb228fd987dd969e87750d2fa
Author: Vincent Fazio <vfa...@xes-inc.com>
Date:   Wed Sep 6 11:10:41 2023 -0500

    jtag/drivers/bcm2835gpio: fix bcm2835_peri_base output format
    
    Previously, the bcm2835_peri_base value would be printed as a decimal
    value despite having a "0x" prefix, implying it should be a hex value.
    
      BCM2835 GPIO: peripheral_base = 0x1056964608
    
    Now, the value is correctly converted to hexidecimal.
    
      BCM2835 GPIO: peripheral_base = 0x3F000000
    
    Change-Id: Id59185423917e6350f99ef68320e2102a3192291
    Signed-off-by: Vincent Fazio <vfa...@xes-inc.com>

diff --git a/src/jtag/drivers/bcm2835gpio.c b/src/jtag/drivers/bcm2835gpio.c
index f41f7b51ea..7fd7f38940 100644
--- a/src/jtag/drivers/bcm2835gpio.c
+++ b/src/jtag/drivers/bcm2835gpio.c
@@ -331,7 +331,7 @@ COMMAND_HANDLER(bcm2835gpio_handle_peripheral_base)
        }
 
        tmp_base = bcm2835_peri_base;
-       command_print(CMD, "BCM2835 GPIO: peripheral_base = 0x%08" PRIu64,
+       command_print(CMD, "BCM2835 GPIO: peripheral_base = 0x%08" PRIx64,
                                  tmp_base);
        return ERROR_OK;
 }

--