|
@@ -18,6 +18,7 @@
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
*/
|
|
|
|
|
|
|
|
+#include <linux/clockchips.h>
|
|
#include <linux/export.h>
|
|
#include <linux/export.h>
|
|
#include <linux/kernel.h>
|
|
#include <linux/kernel.h>
|
|
#include <linux/interrupt.h>
|
|
#include <linux/interrupt.h>
|
|
@@ -69,6 +70,8 @@ void __init time_init(void)
|
|
of_clk_init(NULL);
|
|
of_clk_init(NULL);
|
|
clocksource_of_init();
|
|
clocksource_of_init();
|
|
|
|
|
|
|
|
+ tick_setup_hrtimer_broadcast();
|
|
|
|
+
|
|
arch_timer_rate = arch_timer_get_rate();
|
|
arch_timer_rate = arch_timer_get_rate();
|
|
if (!arch_timer_rate)
|
|
if (!arch_timer_rate)
|
|
panic("Unable to initialise architected timer.\n");
|
|
panic("Unable to initialise architected timer.\n");
|