| .. | .. |
|---|
| 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 | } |
|---|