2019-05-29 22:12:41 +08:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
2011-11-01 07:43:24 +08:00
|
|
|
/*
|
2012-09-20 05:22:02 +08:00
|
|
|
* Copyright (c) 2010-2011, The Linux Foundation. All rights reserved.
|
2011-11-01 07:43:24 +08: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
|