diff --git a/c/src/lib/libbsp/arm/lpc176x/adc/adc.c b/c/src/lib/libbsp/arm/lpc176x/adc/adc.c
index 13ea7f7604..7098166718 100755
--- a/c/src/lib/libbsp/arm/lpc176x/adc/adc.c
+++ b/c/src/lib/libbsp/arm/lpc176x/adc/adc.c
@@ -19,7 +19,8 @@
 #include <bsp/adc.h>
 #include <bsp/adc-defs.h>
 
-static lpc176x_adc_device *const adc_device = AD0_BASE_ADDR;
+static lpc176x_adc_device *const adc_device =
+  (lpc176x_adc_device *) AD0_BASE_ADDR;
 
 static const lpc176x_adc_pin_map adc_pinmap[ ADC_DEVICES_COUNT ] =
 {
diff --git a/c/src/lib/libbsp/arm/lpc176x/pwmout/pwmout.c b/c/src/lib/libbsp/arm/lpc176x/pwmout/pwmout.c
index 9cdda22add..dc30475f89 100755
--- a/c/src/lib/libbsp/arm/lpc176x/pwmout/pwmout.c
+++ b/c/src/lib/libbsp/arm/lpc176x/pwmout/pwmout.c
@@ -23,7 +23,8 @@
 /**
  * @brief The low level device.
  */
-static lpc176x_pwm_device *const pwm_device = PWM1_BASE_ADDR;
+static lpc176x_pwm_device *const pwm_device =
+  (lpc176x_pwm_device *) PWM1_BASE_ADDR;
 
 /**
  * @brief The possible output pins for each PWM output.