.. | .. |
---|
| 1 | +// SPDX-License-Identifier: GPL-2.0-only |
---|
1 | 2 | /* |
---|
2 | 3 | * linux/arch/arm/kernel/time.c |
---|
3 | 4 | * |
---|
4 | 5 | * Copyright (C) 1991, 1992, 1995 Linus Torvalds |
---|
5 | 6 | * Modifications for ARM (C) 1994-2001 Russell King |
---|
6 | 7 | * |
---|
7 | | - * This program is free software; you can redistribute it and/or modify |
---|
8 | | - * it under the terms of the GNU General Public License version 2 as |
---|
9 | | - * published by the Free Software Foundation. |
---|
10 | | - * |
---|
11 | 8 | * This file contains the ARM-specific time handling details: |
---|
12 | 9 | * reading the RTC at bootup, etc... |
---|
13 | 10 | */ |
---|
14 | | -#include <linux/clk-provider.h> |
---|
| 11 | +#include <linux/clockchips.h> |
---|
15 | 12 | #include <linux/clocksource.h> |
---|
16 | 13 | #include <linux/errno.h> |
---|
17 | 14 | #include <linux/export.h> |
---|
.. | .. |
---|
19 | 16 | #include <linux/interrupt.h> |
---|
20 | 17 | #include <linux/irq.h> |
---|
21 | 18 | #include <linux/kernel.h> |
---|
| 19 | +#include <linux/of_clk.h> |
---|
22 | 20 | #include <linux/profile.h> |
---|
23 | 21 | #include <linux/sched.h> |
---|
24 | 22 | #include <linux/sched_clock.h> |
---|
.. | .. |
---|
110 | 108 | of_clk_init(NULL); |
---|
111 | 109 | #endif |
---|
112 | 110 | timer_probe(); |
---|
| 111 | + tick_setup_hrtimer_broadcast(); |
---|
113 | 112 | } |
---|
114 | 113 | } |
---|