|
@@ -22,6 +22,7 @@
|
|
#include <linux/of_irq.h>
|
|
#include <linux/of_irq.h>
|
|
#include <linux/of_address.h>
|
|
#include <linux/of_address.h>
|
|
|
|
|
|
|
|
+#include <asm/smp_plat.h>
|
|
#include <asm/smp_twd.h>
|
|
#include <asm/smp_twd.h>
|
|
#include <asm/localtimer.h>
|
|
#include <asm/localtimer.h>
|
|
|
|
|
|
@@ -373,6 +374,9 @@ void __init twd_local_timer_of_register(void)
|
|
struct device_node *np;
|
|
struct device_node *np;
|
|
int err;
|
|
int err;
|
|
|
|
|
|
|
|
+ if (!is_smp() || !setup_max_cpus)
|
|
|
|
+ return;
|
|
|
|
+
|
|
np = of_find_matching_node(NULL, twd_of_match);
|
|
np = of_find_matching_node(NULL, twd_of_match);
|
|
if (!np)
|
|
if (!np)
|
|
return;
|
|
return;
|