Diff: inc/core/MicroBitSystemTimer.h

Revision:

32:ece16b5987dd

Parent:

31:87789e55bac7

Child:

35:8ce23bc1af38

diff -r 87789e55bac7 -r ece16b5987dd inc/core/MicroBitSystemTimer.h
--- a/inc/core/MicroBitSystemTimer.h	Wed Jul 13 12:18:10 2016 +0100
+++ b/inc/core/MicroBitSystemTimer.h	Wed Jul 13 12:18:11 2016 +0100
@@ -43,7 +43,7 @@
 #include "MicroBitComponent.h"
 
 /**
-  * Initialises a system wide timer, used to drive the various components used in the runtime.
+  * Initialises the system wide timer.
   *
   * This must be called before any components register to receive periodic periodic callbacks.
   *
@@ -70,26 +70,11 @@
 int system_timer_get_period();
 
 /**
-  * Updates the current time in microseconds, since power on.
-  *
-  * If the mbed Timer hasn't been initialised, it will be initialised
-  * on the first call to this function.
-  */
-inline void update_time();
-
-/**
   * Determines the time since the device was powered on.
   *
   * @return the current time since power on in milliseconds
   */
-uint64_t system_timer_current_time();
-
-/**
-  * Determines the time since the device was powered on.
-  *
-  * @return the current time since power on in microseconds
-  */
-uint64_t system_timer_current_time_us();
+unsigned long system_timer_current_time();
 
 /**
   * Timer callback. Called from interrupt context, once per period.