From 19ea4678ca5ce4c3a626039ed7642d4e0fbfdee1 Mon Sep 17 00:00:00 2001 From: Simon Glass Date: Wed, 15 Oct 2014 04:38:33 -0600 Subject: Use uint64_t for time types Unfortunately 'unsigned long long' and 'uint64_t' are not necessarily compatible on 64-bit machines. Use the correct typedef instead of writing the supposed type out in full. Signed-off-by: Simon Glass --- include/common.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'include') diff --git a/include/common.h b/include/common.h index 1082c09424..6213511454 100644 --- 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 */ -- cgit