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
9extern cycles_t        pcycle_freq_mhz;
10extern cycles_t        thread_freq_mhz;
11extern cycles_t        sleep_clk_freq;
12
13void setup_percpu_clockdev(void);
14void ipi_timer(void);
15
16#endif
17