drivers/bcm2835gpio: fix build for ARM host

[openocd.git] / src / jtag / drivers / bcm2835gpio.c

diff --git a/src/jtag/drivers/bcm2835gpio.c b/src/jtag/drivers/bcm2835gpio.c
index edec4beffd5661420d768c67d22d9591060f26db..36e10b6da6f95e03a79a0e3cde9b9dafc116ea53 100644 (file)
--- a/src/jtag/drivers/bcm2835gpio.c
+++ b/src/jtag/drivers/bcm2835gpio.c
@@ -301,7 +301,7 @@ COMMAND_HANDLER(bcm2835gpio_handle_speed_coeffs)
                COMMAND_PARSE_NUMBER(int, CMD_ARGV[1], speed_offset);
        }
 
-       command_print(CMD_CTX, "BCM2835 GPIO: speed_coeffs = %d, speed_offset = %d",
+       command_print(CMD, "BCM2835 GPIO: speed_coeffs = %d, speed_offset = %d",
                                  speed_coeff, speed_offset);
        return ERROR_OK;
 }
@@ -311,7 +311,7 @@ COMMAND_HANDLER(bcm2835gpio_handle_peripheral_base)
        if (CMD_ARGC == 1)
                COMMAND_PARSE_NUMBER(u32, CMD_ARGV[0], bcm2835_peri_base);
 
-       command_print(CMD_CTX, "BCM2835 GPIO: peripheral_base = 0x%08x",
+       command_print(CMD, "BCM2835 GPIO: peripheral_base = 0x%08x",
                                  bcm2835_peri_base);
        return ERROR_OK;
 }