108dbd0f8SThomas Gleixner /* SPDX-License-Identifier: GPL-2.0-only */ 271e4a47fSRichard Kuo /* 3e1858b2aSRichard Kuo * Copyright (c) 2010-2011, The Linux Foundation. All rights reserved. 471e4a47fSRichard Kuo */ 571e4a47fSRichard Kuo 671e4a47fSRichard Kuo #ifndef ASM_TIME_H 771e4a47fSRichard Kuo #define ASM_TIME_H 871e4a47fSRichard Kuo 971e4a47fSRichard Kuo extern cycles_t pcycle_freq_mhz; 1071e4a47fSRichard Kuo extern cycles_t thread_freq_mhz; 1171e4a47fSRichard Kuo extern cycles_t sleep_clk_freq; 1271e4a47fSRichard Kuo 1371e4a47fSRichard Kuo void setup_percpu_clockdev(void); 1471e4a47fSRichard Kuo void ipi_timer(void); 1571e4a47fSRichard Kuo 1671e4a47fSRichard Kuo #endif 17