/* SPDX-License-Identifier: GPL-2.0-only *//* * Copyright (c) 2010-2011, The Linux Foundation. All rights reserved. */#ifndef ASM_TIME_H#define ASM_TIME_Hexterncycles_tpcycle_freq_mhz;externcycles_tthread_freq_mhz;externcycles_tsleep_clk_freq;voidsetup_percpu_clockdev(void);voidipi_timer(void);#endif