mbed library sources. Supersedes mbed-src.

Dependents:   BREAK_SENSOR_LED

Fork of mbed-dev by mbed official

Revision:
175:af195413fb11
Parent:
169:e3b6fe271b81
diff -r b96e65c34a4d -r af195413fb11 platform/mbed_rtc_time.cpp
--- a/platform/mbed_rtc_time.cpp	Mon Oct 02 15:33:19 2017 +0100
+++ b/platform/mbed_rtc_time.cpp	Wed Oct 11 12:45:49 2017 +0100
@@ -15,10 +15,8 @@
  */
 #include "hal/rtc_api.h"
 
-#include <time.h>
 #include "platform/mbed_critical.h"
 #include "platform/mbed_rtc_time.h"
-#include "hal/us_ticker_api.h"
 #include "platform/SingletonPtr.h"
 #include "platform/PlatformMutex.h"
 
@@ -76,14 +74,6 @@
     _mutex->unlock();
 }
 
-clock_t clock() {
-    _mutex->lock();
-    clock_t t = us_ticker_read();
-    t /= 1000000 / CLOCKS_PER_SEC; // convert to processor time
-    _mutex->unlock();
-    return t;
-}
-
 void attach_rtc(time_t (*read_rtc)(void), void (*write_rtc)(time_t), void (*init_rtc)(void), int (*isenabled_rtc)(void)) {
     _mutex->lock();
     _rtc_read = read_rtc;