| // SPDX-License-Identifier: GPL-2.0-only |
| /* |
| * Based on arch/arm/kernel/time.c |
| * |
| * Copyright (C) 1991, 1992, 1995 Linus Torvalds |
| * Modifications for ARM (C) 1994-2001 Russell King |
| * Copyright (C) 2012 ARM Ltd. |
| */ |
| |
| #include <linux/clockchips.h> |
| #include <linux/export.h> |
| #include <linux/kernel.h> |
| #include <linux/interrupt.h> |
| #include <linux/time.h> |
| #include <linux/init.h> |
| #include <linux/sched.h> |
| #include <linux/smp.h> |
| #include <linux/timex.h> |
| #include <linux/errno.h> |
| #include <linux/profile.h> |
| #include <linux/stacktrace.h> |
| #include <linux/syscore_ops.h> |
| #include <linux/timer.h> |
| #include <linux/irq.h> |
| #include <linux/delay.h> |
| #include <linux/clocksource.h> |
| #include <linux/of_clk.h> |
| #include <linux/acpi.h> |
| |
| #include <clocksource/arm_arch_timer.h> |
| |
| #include <asm/thread_info.h> |
| #include <asm/paravirt.h> |
| |
| static bool profile_pc_cb(void *arg, unsigned long pc) |
| { |
| unsigned long *prof_pc = arg; |
| |
| if (in_lock_functions(pc)) |
| return true; |
| *prof_pc = pc; |
| return false; |
| } |
| |
| unsigned long profile_pc(struct pt_regs *regs) |
| { |
| unsigned long prof_pc = 0; |
| |
| arch_stack_walk(profile_pc_cb, &prof_pc, current, regs); |
| |
| return prof_pc; |
| } |
| EXPORT_SYMBOL(profile_pc); |
| |
| void __init time_init(void) |
| { |
| u32 arch_timer_rate; |
| |
| of_clk_init(NULL); |
| timer_probe(); |
| |
| tick_setup_hrtimer_broadcast(); |
| |
| arch_timer_rate = arch_timer_get_rate(); |
| if (!arch_timer_rate) |
| panic("Unable to initialise architected timer.\n"); |
| |
| /* Calibrate the delay loop directly */ |
| lpj_fine = arch_timer_rate / HZ; |
| |
| pv_time_init(); |
| } |