tick: change tick count to 19200000
[platform/adaptation/rpi3/arm-trusted-firmware-rpi3.git] / plat / rpi3 / aarch64 / rpi3_common.c
index dec2635..77fc938 100644 (file)
@@ -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)