tick: change tick count to 19200000

The existing value of 12000000 is 1.6 times faster than real time.

Change-Id: Ibf440cb3bda866709173e4c1948589d29a04912c
Signed-off-by: Hackseung Lee <lhs@dignsys.com>

diff --git a/plat/rpi3/aarch64/rpi3_common.c b/plat/rpi3/aarch64/rpi3_common.c
index dec2635..77fc938 100644 (file)
--- a/plat/rpi3/aarch64/rpi3_common.c
+++ b/plat/rpi3/aarch64/rpi3_common.c
@@ -108,7 +108,7 @@ unsigned long plat_get_ns_image_entrypoint(void)
 
 uint64_t plat_get_syscnt_freq(void)
 {
-       return 12000000;
+       return 19200000;
 }
 
 void plat_gic_init(void)