mbed library sources. Supersedes mbed-src. Fixed broken STM32F1xx RTC on rtc_api.c

Dependents:   Nucleo_F103RB_RTC_battery_bkup_pwr_off_okay

Fork of mbed-dev by mbed official

Revision:
174:b96e65c34a4d
Parent:
160:d5399cc887bb
--- a/targets/TARGET_ublox/TARGET_HI2110/us_ticker.c	Fri Sep 15 14:59:18 2017 +0100
+++ b/targets/TARGET_ublox/TARGET_HI2110/us_ticker.c	Mon Oct 02 15:33:19 2017 +0100
@@ -226,6 +226,12 @@
     core_util_critical_section_exit();
 }
 
+void us_ticker_fire_interrupt(void)
+{
+    g_user_interrupt = true;
+    NVIC_SetPendingIRQ(Timer_IRQn);
+}
+
 void us_ticker_disable_interrupt(void)
 {
     /* Can't actually disable the interrupt here