commit 14eb9274bd0adb60700c1cfa2363a44e980715fc
author John Tsichritzis <john.tsichritzis@arm.com> Thu Oct 25 10:06:49 2018 +0100
committer Sandrine Bailleux <sandrine.bailleux@arm.com> Tue Nov 06 09:22:56 2018 +0000
tree 989b505a8c3f3e2cad00586fc0ed43cedf25def4
parent a1c3ccac84390d46d72f27b46a92262f995418d2

Fix output format in system_timer.c

Change-Id: Id05eebb811d4c23c6a2bfdfb4762bb659b97a4bf
Signed-off-by: John Tsichritzis <john.tsichritzis@arm.com>

drivers/arm/timer/system_timer.c

diff --git a/drivers/arm/timer/system_timer.c b/drivers/arm/timer/system_timer.c
index 3415e41..6cc3cef 100644
--- a/drivers/arm/timer/system_timer.c
+++ b/drivers/arm/timer/system_timer.c
@@ -44,7 +44,7 @@
 	if (count_val < mmio_read_64(g_systimer_base + CNTPCT_LO))
 		panic();
 
-	VERBOSE("%s : interrupt requested at sys_counter: %lld "
+	VERBOSE("%s : interrupt requested at sys_counter: %llu "
 		"time_out_ms: %ld\n", __func__, count_val, time_out_ms);
 
 	return 0;