64 bit Timer Class.

Revision:
7:381bafbb2218
Parent:
5:e2a2d9790e36
--- a/Timer64.h	Mon Mar 28 21:05:49 2016 +0000
+++ b/Timer64.h	Fri Apr 01 18:37:38 2016 +0000
@@ -17,8 +17,8 @@
  *
  */
  
-#ifndef __NEW_TIMER64__
-#define __NEW_TIMER64__
+#ifndef __TIMER64__
+#define __TIMER64__
 
 #include "platform.h"
 #include "ticker_api.h"
@@ -89,7 +89,8 @@
  *  }
  *  @endcode
 */
- class Timer64
+
+class Timer64
 {
 
 public:
@@ -201,4 +202,4 @@
     static uint64_t _read_us(void const* args);
 };
 
-#endif
+#endif  //__TIMER64__