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