18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */ 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * Copyright (c) 2010-2011, The Linux Foundation. All rights reserved. 48c2ecf20Sopenharmony_ci */ 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ci#ifndef ASM_TIME_H 78c2ecf20Sopenharmony_ci#define ASM_TIME_H 88c2ecf20Sopenharmony_ci 98c2ecf20Sopenharmony_ciextern cycles_t pcycle_freq_mhz; 108c2ecf20Sopenharmony_ciextern cycles_t thread_freq_mhz; 118c2ecf20Sopenharmony_ciextern cycles_t sleep_clk_freq; 128c2ecf20Sopenharmony_ci 138c2ecf20Sopenharmony_civoid setup_percpu_clockdev(void); 148c2ecf20Sopenharmony_civoid ipi_timer(void); 158c2ecf20Sopenharmony_ci 168c2ecf20Sopenharmony_ci#endif 17