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