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

diff --git a/common/board_f.c b/common/board_f.c
index 2a10222..8e8e217 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)