tree 989b505a8c3f3e2cad00586fc0ed43cedf25def4
parent a1c3ccac84390d46d72f27b46a92262f995418d2
author John Tsichritzis <john.tsichritzis@arm.com> 1540458409 +0100
committer Sandrine Bailleux <sandrine.bailleux@arm.com> 1541496176 +0000

Fix output format in system_timer.c

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