time.h

 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