1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright (C) 2007 Lemote, Inc. & Institute of Computing Technology
4 * Author: Fuxin Zhang, zhangfx@lemote.com
6 * Copyright (C) 2009 Lemote Inc.
7 * Author: Wu Zhangjin, wuzhangjin@gmail.com
15 void __init
plat_time_init(void)
17 /* setup mips r4k timer */
18 mips_hpt_frequency
= cpu_clock_freq
/ 2;
20 #ifdef CONFIG_RS780_HPET