mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
150:02e0a0aed4ec
Parent:
149:156823d33999
--- a/targets/TARGET_Silicon_Labs/TARGET_EFM32/pinmap.c	Fri Oct 28 11:17:30 2016 +0100
+++ b/targets/TARGET_Silicon_Labs/TARGET_EFM32/pinmap.c	Tue Nov 08 17:45:16 2016 +0000
@@ -35,7 +35,7 @@
 
 void pin_mode(PinName pin, PinMode mode)
 {
-    MBED_ASSERT((0xFFFFFF00 |pin) != NC);
+    MBED_ASSERT(pin != NC);
 
     /* Enable GPIO clock if not already done */
     if (!gpio_clock_inited) {