mbed lib with startup delay fixed for Nucleo401RE

Fork of mbed-src by mbed official

Revision:
556:a217bc785985
Parent:
548:1abac31e188e
Child:
593:78ee8643776a
--- a/targets/hal/TARGET_Silicon_Labs/TARGET_EFM32/objects.h	Wed Jun 03 08:00:08 2015 +0100
+++ b/targets/hal/TARGET_Silicon_Labs/TARGET_EFM32/objects.h	Wed Jun 03 08:30:08 2015 +0100
@@ -68,9 +68,9 @@
 #if DEVICE_PWMOUT
 struct pwmout_s {
     //The period of the pulse in clock cycles
-    uint32_t period_cycles;
+    uint16_t period_cycles;
     //The width of the pulse in clock cycles
-    uint32_t width_cycles;
+    uint16_t width_cycles;
     //Channel on TIMER
     uint32_t channel;
     PinName pin;