1 files changed, 10 insertions, 0 deletions
diff --git a/arch/arm/kernel/arch_timer.c b/arch/arm/kernel/arch_timer.c
index dd58035621f..0925c702b0e 100644
--- a/arch/arm/kernel/arch_timer.c
+++ b/arch/arm/kernel/arch_timer.c
@@ -314,6 +314,16 @@ static const struct of_device_id arch_timer_of_match[] __initconst = {
 	{},
 };
 
+bool __init arch_timer_broken_for_sched_clock(void)
+{
+	u32 broken = false;
+	struct device_node *np;
+	np = of_find_matching_node(NULL, arch_timer_of_match);
+	if (np)
+		of_property_read_u32(np, "broken-for-sched-clock", &broken);
+	return broken;
+}
+
 int __init arch_timer_of_register(void)
 {
 	struct device_node *np;