cputime support 64bit.

Author: aozima

components/drivers/cputime/cputime.c

@@ -34,7 +34,7 @@ float clock_cpu_getres(void)
  *
  * @return the cpu tick
  */
-uint32_t clock_cpu_gettime(void)
+uint64_t clock_cpu_gettime(void)
 {
     if (_cputime_ops)
         return _cputime_ops->cputime_gettime();

components/drivers/include/drivers/cputime.h

@@ -16,11 +16,11 @@
 struct rt_clock_cputime_ops
 {
     float    (*cputime_getres) (void);
-    uint32_t (*cputime_gettime)(void);
+    uint64_t (*cputime_gettime)(void);
 };
 
 float    clock_cpu_getres(void);
-uint32_t clock_cpu_gettime(void);
+uint64_t clock_cpu_gettime(void);
 
 uint32_t clock_cpu_microsecond(uint32_t cpu_tick);
 uint32_t clock_cpu_millisecond(uint32_t cpu_tick);