mbed library sources change for ST sensors and ST BLE

Fork of mbed-src by mbed official

Revision:
619:034e698bc035
Parent:
567:a97fd0eca828
--- a/targets/hal/TARGET_WIZNET/TARGET_W7500x/pinmap.c	Fri Sep 04 08:45:09 2015 +0100
+++ b/targets/hal/TARGET_WIZNET/TARGET_W7500x/pinmap.c	Fri Sep 04 09:30:10 2015 +0100
@@ -32,6 +32,8 @@
 #include "pinmap.h"
 #include "PortNames.h"
 #include "mbed_error.h"
+#include "W7500x.h"
+#include "W7500x_gpio.h"
 
 
 uint32_t Get_GPIO_BaseAddress(uint32_t port_idx)