1 // SPDX-License-Identifier: GPL-2.0-only
3 * linux/arch/arm/kernel/arch_timer.c
5 * Copyright (C) 2011 ARM Ltd.
8 #include <linux/init.h>
9 #include <linux/types.h>
10 #include <linux/errno.h>
12 #include <asm/delay.h>
13 #include <asm/arch_timer.h>
15 #include <clocksource/arm_arch_timer.h>
17 static unsigned long arch_timer_read_counter_long(void)
19 return arch_timer_read_counter();
22 static struct delay_timer arch_delay_timer
;
24 static void __init
arch_timer_delay_timer_register(void)
26 /* Use the architected timer for the delay loop. */
27 arch_delay_timer
.read_current_timer
= arch_timer_read_counter_long
;
28 arch_delay_timer
.freq
= arch_timer_get_rate();
29 register_current_timer_delay(&arch_delay_timer
);
32 int __init
arch_timer_arch_init(void)
34 u32 arch_timer_rate
= arch_timer_get_rate();
36 if (arch_timer_rate
== 0)
39 arch_timer_delay_timer_register();