mbed library sources

Dependents:   frdm_kl05z_gpio_test

Fork of mbed-src by mbed official

Revision:
241:ffe41b0c8126
Parent:
157:90e3acc479a2
--- a/targets/cmsis/TARGET_STM/TARGET_DISCO_F303VC/system_stm32f30x.h	Thu Jun 26 09:45:08 2014 +0100
+++ b/targets/cmsis/TARGET_STM/TARGET_DISCO_F303VC/system_stm32f30x.h	Thu Jun 26 10:30:09 2014 +0100
@@ -65,6 +65,7 @@
   
 extern void SystemInit(void);
 extern void SystemCoreClockUpdate(void);
+extern void SetSysClock(void);
 
 /**
   * @}