Maxim Ibragimov / mbed-dev

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

Diff: targets/TARGET_WIZNET/TARGET_W7500x/us_ticker.c

Revision:
174:b96e65c34a4d
Parent:
149:156823d33999
--- a/targets/TARGET_WIZNET/TARGET_W7500x/us_ticker.c	Fri Sep 15 14:59:18 2017 +0100
+++ b/targets/TARGET_WIZNET/TARGET_W7500x/us_ticker.c	Mon Oct 02 15:33:19 2017 +0100
@@ -96,12 +96,6 @@
     dev = (int32_t)(timestamp - us_ticker_read());
     dev = dev * ((GetSystemClock() / 1000000) / 16);     
 
-    if(dev <= 0)
-    {
-        us_ticker_irq_handler();
-        return;
-    }
-    
     DUALTIMER_ClockEnable(TIMER_0);
     DUALTIMER_Stop(TIMER_0);
     
@@ -123,6 +117,11 @@
 
 }
 
+void us_ticker_fire_interrupt(void)
+{
+    NVIC_SetPendingIRQ(TIMER_IRQn);
+}
+
 void us_ticker_disable_interrupt(void)
 {
     NVIC_DisableIRQ(TIMER_IRQn);