void twd_local_timer_of_register(void);
--- a/arch/arm/kernel/smp_twd.c
+++ b/arch/arm/kernel/smp_twd.c
-@@ -376,6 +376,13 @@ int __init twd_local_timer_register(stru
+@@ -10,6 +10,7 @@
+ */
+ #include <linux/init.h>
+ #include <linux/kernel.h>
++#include <linux/export.h>
+ #include <linux/clk.h>
+ #include <linux/delay.h>
+ #include <linux/device.h>
+@@ -376,6 +377,13 @@ int __init twd_local_timer_register(stru
return twd_local_timer_common_register();
}