From 141664f6a5997a865c7b663843282749bc38d836 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Lothar=20Wa=C3=9Fmann?= <LW@KARO-electronics.de>
Date: Tue, 23 Jun 2015 12:58:07 +0200
Subject: [PATCH] common/board_f.c: add default implementation of
 get_timer_masked()

---
 common/board_f.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/common/board_f.c b/common/board_f.c
index 2a1022252c..8e8e2177a1 100644
--- 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)
-- 
2.39.2