Fix output format in system_timer.c
Change-Id: Id05eebb811d4c23c6a2bfdfb4762bb659b97a4bf
Signed-off-by:
John Tsichritzis <john.tsichritzis@arm.com>
Loading
Please register or sign in to comment
Change-Id: Id05eebb811d4c23c6a2bfdfb4762bb659b97a4bf
Signed-off-by:
John Tsichritzis <john.tsichritzis@arm.com>