1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3  * Copyright (c) 2010-2011, The Linux Foundation. All rights reserved.
4  */
5 
6 #ifndef ASM_TIME_H
7 #define ASM_TIME_H
8 
9 extern cycles_t        pcycle_freq_mhz;
10 extern cycles_t        thread_freq_mhz;
11 extern cycles_t        sleep_clk_freq;
12 
13 void setup_percpu_clockdev(void);
14 void ipi_timer(void);
15 
16 #endif
17