diff --git a/c/src/lib/libbsp/arm/lpc24xx/console/console-config.c b/c/src/lib/libbsp/arm/lpc24xx/console/console-config.c
index ad344384a6..d81ad0cb16 100644
--- a/c/src/lib/libbsp/arm/lpc24xx/console/console-config.c
+++ b/c/src/lib/libbsp/arm/lpc24xx/console/console-config.c
@@ -28,14 +28,14 @@
 #include <bsp/irq.h>
 #include <bsp/io.h>
 
-static uint8_t lpc24xx_uart_get_register(uint32_t addr, uint8_t i)
+static uint8_t lpc24xx_uart_get_register(uintptr_t addr, uint8_t i)
 {
   volatile uint32_t *reg = (volatile uint32_t *) addr;
 
   return (uint8_t) reg [i];
 }
 
-static void lpc24xx_uart_set_register(uint32_t addr, uint8_t i, uint8_t val)
+static void lpc24xx_uart_set_register(uintptr_t addr, uint8_t i, uint8_t val)
 {
   volatile uint32_t *reg = (volatile uint32_t *) addr;