Use uint64_t for time types

[oweals/u-boot.git] / include / common.h

diff --git a/include/common.h b/include/common.h
index 1082c09424e6cfbedd8334a62e9e58ed0c770faa..62135114548617e52950177b81a923a1731cbbb9 100644 (file)
--- a/include/common.h
+++ b/include/common.h
@@ -766,7 +766,7 @@ void        invalidate_dcache_all(void);
 void   invalidate_icache_all(void);
 
 /* arch/$(ARCH)/lib/ticks.S */
-unsigned long long get_ticks(void);
+uint64_t get_ticks(void);
 void   wait_ticks    (unsigned long);
 
 /* arch/$(ARCH)/lib/time.c */