2019-05-29 08:12:41 -06:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
2011-10-31 17:43:24 -06:00
|
|
|
/*
|
2012-09-19 15:22:02 -06:00
|
|
|
* Copyright (c) 2010-2011, The Linux Foundation. All rights reserved.
|
2011-10-31 17:43:24 -06:00
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef ASM_TIME_H
|
|
|
|
#define ASM_TIME_H
|
|
|
|
|
|
|
|
extern cycles_t pcycle_freq_mhz;
|
|
|
|
extern cycles_t thread_freq_mhz;
|
|
|
|
extern cycles_t sleep_clk_freq;
|
|
|
|
|
|
|
|
void setup_percpu_clockdev(void);
|
|
|
|
void ipi_timer(void);
|
|
|
|
|
|
|
|
#endif
|