common/board_f.c: add default implementation of get_timer_masked()
authorLothar Waßmann <LW@KARO-electronics.de>
Tue, 23 Jun 2015 10:58:07 +0000 (12:58 +0200)
committerLothar Waßmann <LW@KARO-electronics.de>
Fri, 26 Jun 2015 06:07:22 +0000 (08:07 +0200)
common/board_f.c

index 2a10222..8e8e217 100644 (file)
@@ -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)