common/board_f.c: add default implementation of get_timer_masked()

diff --git a/common/board_f.c b/common/board_f.c
index 2a1022252c4c69c2f44945dfe4f2656a37d81e3b..8e8e2177a13b7e4d196cc3e4b1ae5ecfbedd1aae 100644 (file)
--- a/common/board_f.c
+++ b/common/board_f.c
@@ -280,6 +280,11 @@ __weak int arch_cpu_init(void)
        return 0;
 }
 
+__weak unsigned long get_timer_masked(void)
+{
+       return get_timer(0);
+}
+
 #ifdef CONFIG_OF_HOSTFILE
 
 static int read_fdt_from_file(void)